summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorWerner Schweer <ws.seh.de>2007-10-09 09:59:07 +0000
committerWerner Schweer <ws.seh.de>2007-10-09 09:59:07 +0000
commit06c20e05c194e165cfd75c2d9d24fe9a0be15c01 (patch)
treecf6bb31ddefd7d073edfaf430e0d12689c57bfba /Makefile
parent673ea3f4d3aa97003acfc5ee94c38431fd026062 (diff)
updates
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
+
+