summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLuke Shumaker <LukeShu@sbcglobal.net>2013-08-25 14:18:14 -0400
committerLuke Shumaker <LukeShu@sbcglobal.net>2013-09-11 15:43:30 -0400
commitf3030244f64699021ec0d9cd9e4b4d67244d9df1 (patch)
tree2a2ed877b15799cbc33111528e286e6796c45e78 /doc
parentdabf1a9cf520d725f8eb767bb0112990f99fde05 (diff)
Make common-devtools.mk unnecessary. Move devtools chroot stuff into chroot-tools
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile17
1 files changed, 1 insertions, 16 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 4e496f3..23f8a8f 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,16 +1 @@
-topdir := $(realpath ..)
-include $(topdir)/config.mk
-
-files = $(wildcard *.md)
-
-all: PHONY build
-build: PHONY
-
-install: $(addprefix $(DESTDIR)$(docdir)/libretools/,$(files))
-
-$(DESTDIR)$(docdir)/libretools/%: %
- install -Dm644 '$<' '$@'
-
-FORCE: PHONY
-PHONY:
-.PHONY: FORCE PHONY
+include ../common.mk