Make documentation targets available from the top-level makefile as well,

but not with separate object tree yet.

diff --git a/tools/Makefile-top.in b/tools/Makefile-top.in
index 855c2749c1a7fae99b8ca7cb8ca9a8390669b8d7..ed80c77ea72768870e69c702e6adeff4f799c27e 100644 (file)
--- a/tools/Makefile-top.in
+++ b/tools/Makefile-top.in
@@ -3,9 +3,12 @@
 
 objdir=@objdir@
 
-all depend tags docs userdocs progdocs install:
+all depend tags install:
        $(MAKE) -C $(objdir) $@
 
+docs userdocs progdocs:
+       $(MAKE) -C doc $@
+
 clean:
        $(MAKE) -C $(objdir) clean
        find . -name "*~" -or -name "*.[oa]" -or -name "\#*\#" -or -name TAGS -or -name core -or -name depend -or -name ".#*" | xargs rm -f