summaryrefslogtreecommitdiffstats
path: root/tools/Makefile-top.in
diff options
context:
space:
mode:
Diffstat (limited to 'tools/Makefile-top.in')
-rw-r--r--tools/Makefile-top.in4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/Makefile-top.in b/tools/Makefile-top.in
index 0c600ce..fe28280 100644
--- a/tools/Makefile-top.in
+++ b/tools/Makefile-top.in
@@ -3,7 +3,7 @@
objdir=@objdir@
-all depend tags install:
+all depend tags install install-docs:
$(MAKE) -C $(objdir) $@
docs userdocs progdocs:
@@ -14,6 +14,6 @@ clean:
find . -name "*~" -or -name "*.[oa]" -or -name "\#*\#" -or -name TAGS -or -name core -or -name depend -or -name ".#*" | xargs rm -f
distclean: clean
- $(MAKE) -C doc clean
+ $(MAKE) -C doc distclean
rm -rf $(objdir)
rm -f config.* configure sysdep/autoconf.h sysdep/paths.h Makefile