diff options
| author | Martin Mares <mj@ucw.cz> | 2000-05-05 17:14:44 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-05-05 17:14:44 +0000 |
| commit | c7d7794bb9a71be58d06c6c9ea67943d3e33a566 (patch) | |
| tree | 772c08bf8b84b51c635beffd6e50b9034272472b /doc/Makefile | |
| parent | 249d238c14cafa812db02ea3090b34c58b183cf6 (diff) | |
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 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions