diff options
author | simonmar <unknown> | 2003-11-05 17:16:05 +0000 |
---|---|---|
committer | simonmar <unknown> | 2003-11-05 17:16:05 +0000 |
commit | 1a7ccb86bb10ebc44e17c90ac5e27e7783958a22 (patch) | |
tree | 8b9758909202fbafd7d8ffa710b4b00200a8ec93 /examples/Bug3.hs | |
parent | 01a25ca67470a1066b9aa46a2fcc99a278c18937 (diff) |
[haddock @ 2003-11-05 17:16:04 by simonmar]
Support for generating a single unified index for several packages.
--use-index=URL turns off normal index generation, causes Index
links to point to URL.
--gen-index generates an combined index from the specified
interfaces.
Currently doesn't work exactly right, because the interfaces don't
contain the iface_reexported info. I'll need to fix that up.
Diffstat (limited to 'examples/Bug3.hs')
0 files changed, 0 insertions, 0 deletions