diff options
| author | simonmar <unknown> | 2002-04-24 15:14:12 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2002-04-24 15:14:12 +0000 |
| commit | 995d3f9ed418352cb8e341630e7c7655080c1612 (patch) | |
| tree | 48515c410f772e4c84bc3bd9448218ec7b5da500 /doc | |
| parent | 106adbbe619e9bd42a6ca00f097d3eb22011f6f5 (diff) | |
[haddock @ 2002-04-24 15:14:11 by simonmar]
Grok the kind of module headers we use in fptools/libraries, and pass
the "portability", "stability", and "maintainer" strings through into
the generated HTML. If the module header doesn't match the pattern,
then we don't include the info in the HTML.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions