summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile1
-rw-r--r--bld.proj1
-rw-r--r--doc/Makefile6
-rw-r--r--doc/bld.sub4
4 files changed, 5 insertions, 7 deletions
diff --git a/Makefile b/Makefile
index 08d2807..63aa9c9 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,6 @@ SUB = parse \
6 \
muse \
rt \
- doc
EXTRA=buildmyr
EXTRACLEAN=cleanmyr
diff --git a/bld.proj b/bld.proj
index 4fcc171..69ddbc2 100644
--- a/bld.proj
+++ b/bld.proj
@@ -4,5 +4,6 @@ sub =
test
bench
support
+ doc
;;
diff --git a/doc/Makefile b/doc/Makefile
deleted file mode 100644
index bf708dd..0000000
--- a/doc/Makefile
+++ /dev/null
@@ -1,6 +0,0 @@
-INSTMAN=6m.1 \
- muse.1 \
-
-include ../config.mk
-include ../mk/c.mk
-
diff --git a/doc/bld.sub b/doc/bld.sub
new file mode 100644
index 0000000..853b3b3
--- /dev/null
+++ b/doc/bld.sub
@@ -0,0 +1,4 @@
+man =
+ 6m.1
+ muse.1
+;;