summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tools/Makefile-top.in5
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/Makefile-top.in b/tools/Makefile-top.in
index 855c274..ed80c77 100644
--- 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