diff options
| author | Martin Mares <mj@ucw.cz> | 2000-05-05 17:15:56 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-05-05 17:15:56 +0000 |
| commit | b177724896b75159dbc8e203ac0e5a134229ae90 (patch) | |
| tree | 4ff62df2354b09aad3fea8e420c6b8d35e0dc70f /tools/Makefile-top.in | |
| parent | c7d7794bb9a71be58d06c6c9ea67943d3e33a566 (diff) | |
Connected the `doc' subtree to global makefiles.
All documentation is built in obj/doc (resp. doc/ if you do a stand-alone build).
Use `make docs' to make the whole documentation or `make userdocs' resp.
`make progdocs' for user manual resp. developer's guide.
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 0dee0dc7..415bc876 100644 --- a/tools/Makefile-top.in +++ b/tools/Makefile-top.in @@ -1,9 +1,9 @@ # Makefile for in place build of BIRD -# (c) 1999 Martin Mares <mj@ucw.cz> +# (c) 1999--2000 Martin Mares <mj@ucw.cz> objdir=@objdir@ -all depend tags: +all depend tags docs userdocs progdocs: $(MAKE) -C $(objdir) $@ clean: |