Including documentation in the export list breaks headings

[ghc-mirror]

Original reporter: acopton@

Hi

Section 3.4 describes how to add headings and sub-headings to the export list.
Section 3.5 explains how to include documentation directly to the export list.

When mixing these features, the sub-heading following the included documentation is not considered.

• Input: FooBroken.hs
• Output: FooBroken.html (note the 5th row in particular)

Without the included documentation everything renders fine.

• Input: FooWorks.hs
• Output: FooWorks.html

I tried various alternatives such as adding and removeing additional empty lines between the heading and the included documentation. It seems to me that included documentation is simply not expected in between of a heading and its sub-heading.

Greetings,

Alex