Ticket #19 (closed defect: fixed)
Modules without docs don't need both a synopsis and a documentation section
|Reported by:||dwaern||Owned by:|
The synopsis generated for a module with no docs should not attempt to link to the doc for each entity. We need a different kind of summary here: what we really want is just the documentation section but without the extra whitespace between decls.