summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rwxr-xr-xMakefile14
1 files changed, 14 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index aa776560..2efc7f23 100755
--- a/Makefile
+++ b/Makefile
@@ -63,3 +63,17 @@ package:
mv build/muse-*.sh .
+# build muse/doc/man/de/man-de.pdf
+# and muse/doc/man/en/man-en.pdf
+manual:
+ cd build; make manual
+
+# build muse/doc/dimple/dimpl.pdf
+program_doc:
+ cd build; make program_doc
+
+# build doxygen program documentation
+doxy:
+ cd build; make doxy
+
+