aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/Bug1054.hs
Commit message (Collapse)AuthorAgeFilesLines
* Disallow links in section headersAlec Theriault2020-03-281-0/+5
This is quite straightforward to implement, since we already had a function `docToHtmlNoAnchors` (which we used to generate the link in the sidebar "Contents"). This breaks test `Bug387`, but that test case has aged badly: we now automatically generate anchors for all headings, so manually adding an anchor in a section makes no sense. Nested anchors are, as pointed out in #1054, disallowed by the HTML standard. Fixes #1054