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 /misc | |
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 'misc')
0 files changed, 0 insertions, 0 deletions