diff options
author | Martin Mares <mj@ucw.cz> | 2000-06-09 06:31:43 +0000 |
---|---|---|
committer | Martin Mares <mj@ucw.cz> | 2000-06-09 06:31:43 +0000 |
commit | 99955b54be850fad280a556ca80dc21374d2c5b7 (patch) | |
tree | eafe6ca77dd86d456c77522be8056ba1ab967a5a /tools/Makefile-top.in | |
parent | a012cbb16f3d73ca7ffafe6f7933de7369e2ee48 (diff) |
Proper building and installation of documentation in the Makefiles.
Diffstat (limited to 'tools/Makefile-top.in')
-rw-r--r-- | tools/Makefile-top.in | 4 |
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 |