default target runs "make install" (not "make all") in doc subdirectory.

diff --git a/Makefile b/Makefile
index dcd5995..32309e5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@
 
 all:
        ${MAKE} -C./tools/htdocs $@
-       ${MAKE} -C./doc $@
+       ${MAKE} -C./doc install
 
 clean distclean:
        ${MAKE} -C./tools/htdocs $@