diff options
| author | simonmar <unknown> | 2003-11-11 12:10:44 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2003-11-11 12:10:44 +0000 |
| commit | 3acbf818ee3ad033e9e13a5fea56fa7a76cfaf04 (patch) | |
| tree | 720f8ef9b22e4b0c4b6311bc08162b13306f3c70 /html | |
| parent | ca62408db8a42a484e33fc13dc79b3e81f9a3dca (diff) | |
[haddock @ 2003-11-11 12:10:44 by simonmar]
Go back to producing just the documentation section, rather than just
the synopsis section, for a module with no documentation annotations.
One reason is that the synopsis section tries to link each entity to
its documentation on the same page. Also, the doc section anchors
each entity, and it lists instances which the synopsis doesn't.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions