diff options
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 |