summaryrefslogtreecommitdiff
path: root/tools/progdoc
diff options
context:
space:
mode:
authorMartin Mares <mj@ucw.cz>2000-05-05 17:15:56 +0000
committerMartin Mares <mj@ucw.cz>2000-05-05 17:15:56 +0000
commitb177724896b75159dbc8e203ac0e5a134229ae90 (patch)
tree4ff62df2354b09aad3fea8e420c6b8d35e0dc70f /tools/progdoc
parentc7d7794bb9a71be58d06c6c9ea67943d3e33a566 (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/progdoc')
0 files changed, 0 insertions, 0 deletions