diff options
author | Martin Mares <mj@ucw.cz> | 2000-05-05 19:14:44 +0200 |
---|---|---|
committer | Martin Mares <mj@ucw.cz> | 2000-05-05 19:14:44 +0200 |
commit | c7d7794bb9a71be58d06c6c9ea67943d3e33a566 (patch) | |
tree | 772c08bf8b84b51c635beffd6e50b9034272472b /tools/Makefile.in | |
parent | 249d238c14cafa812db02ea3090b34c58b183cf6 (diff) | |
download | bird-c7d7794bb9a71be58d06c6c9ea67943d3e33a566.tar bird-c7d7794bb9a71be58d06c6c9ea67943d3e33a566.zip |
Added a tool for processing of developer documentation.
Everything is controlled by Doc files in source directories (see the
corresponding programmer's manual entry for the format and look
at Doc and lib/Doc for an example).
Currently it generates HTML indices and calls kernel-doc to generate
per-section HTML files.
Diffstat (limited to 'tools/Makefile.in')
0 files changed, 0 insertions, 0 deletions