Added doc goal to top level Makefile.

diff --git a/Makefile b/Makefile
index b4882cc31543f283068667bc0deaef0589a8c480..d00136784e8ccc9b001ffc0862c538ee15772388 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,7 @@
+.PHONY: all mostlyclean clean install avail unavail bin lib doc
+
+.SUFFIXES:
+
 all mostlyclean clean install:
        @$(MAKE) -C src    --no-print-directory $@
        @$(MAKE) -C libsrc --no-print-directory $@
@@ -8,12 +12,11 @@ avail unavail bin:
 lib:
        @$(MAKE) -C libsrc --no-print-directory $@
 
+doc:
+       @$(MAKE) -C doc    --no-print-directory $@
+
 %65:
        @$(MAKE) -C src    --no-print-directory $@
 
 %:
        @$(MAKE) -C libsrc --no-print-directory $@
-
-.PHONY: all mostlyclean clean install avail unavail bin lib
-
-.SUFFIXES: