summaryrefslogtreecommitdiff
path: root/tools/Makefile-top.in
diff options
context:
space:
mode:
authorMartin Mares <mj@ucw.cz>2000-06-09 06:31:43 +0000
committerMartin Mares <mj@ucw.cz>2000-06-09 06:31:43 +0000
commit99955b54be850fad280a556ca80dc21374d2c5b7 (patch)
treeeafe6ca77dd86d456c77522be8056ba1ab967a5a /tools/Makefile-top.in
parenta012cbb16f3d73ca7ffafe6f7933de7369e2ee48 (diff)
Proper building and installation of documentation in the Makefiles.
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 0c600ced..fe282808 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