diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/Makefile-top.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/Makefile-top.in b/tools/Makefile-top.in index 855c2749..ed80c77e 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 |