Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Disallow links in section headers | Alec Theriault | 2020-03-28 | 1 | -12/+0 |
| | | | | | | | | | | | | | 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 | ||||
* | Do not insert anchor for section headings in contents box | watashi | 2015-04-26 | 1 | -0/+12 |