diff options
| author | Martin Mares <mj@ucw.cz> | 2000-05-31 11:36:21 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-05-31 11:36:21 +0000 |
| commit | fec5bec0b5f0e114a635c99a731e922ce735ff81 (patch) | |
| tree | 31eb72b624405713fbe1fd38351d4732ede80443 | |
| parent | 46527a939e97a8a0d6d023ad7853e5e9a2df1ea9 (diff) | |
Make documentation targets available from the top-level makefile as well,
but not with separate object tree yet.
| -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 |