diff options
author | simonmar <unknown> | 2003-11-05 12:30:28 +0000 |
---|---|---|
committer | simonmar <unknown> | 2003-11-05 12:30:28 +0000 |
commit | a969de7fdb7dcaacb58b81554d67a79818541241 (patch) | |
tree | 2512e3b2ea4434a56c0c5a653b780369fa69eeb8 /html/Makefile | |
parent | 33a78846607be290e0dfcf784e4709c00a584383 (diff) |
[haddock @ 2003-11-05 12:30:28 by simonmar]
- Remove the emboldening of index entries for defining locations.
This isn't useful, and breaks abstractions.
- If an entity is re-exported by a module but the module doesn't
include documentation for that entity (perhaps because it is
re-exported by 'module M'), then don't attempt to hyperlink to
the documentation from the index. Instead, just list that module
in the index, to indicate that the entity is exported from there.
Diffstat (limited to 'html/Makefile')
0 files changed, 0 insertions, 0 deletions