diff options
| author | David Waern <david.waern@gmail.com> | 2007-11-10 17:01:43 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2007-11-10 17:01:43 +0000 |
| commit | 08b75f838779c59083e4f693ed2b002d5ac2c49f (patch) | |
| tree | d71da7ae40b64630cd2e8b667e6a3fb8466e9704 /html/plus.gif | |
| parent | 76750023bb03e05c464ccea425d43691a6d7bb38 (diff) | |
Introduce InstalledInterface structure and add more stuff to the .haddock files
We introduce InstalledInterface capturing the part of Interface that is stored
in the interface files. We change the ppHtmlContents and ppHtmllIndex to take
this structure instead of a partial Interface. We add stuff like the doc map
and exported names to the .haddock file (via InstalledInterface).
Diffstat (limited to 'html/plus.gif')
0 files changed, 0 insertions, 0 deletions