diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2020-03-28 14:12:48 -0400 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2020-03-28 14:26:27 -0400 |
commit | 5dc3866928759fcaf6b31d1598051781389a01d4 (patch) | |
tree | 4c7745419ef14f384a2688d96f960721f48652f1 /html-test/src/DeprecatedData.hs | |
parent | d8bedeb98a84db0d51c49d41c632d9d4846d1bbe (diff) |
Disallow links in section headers
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
Diffstat (limited to 'html-test/src/DeprecatedData.hs')
0 files changed, 0 insertions, 0 deletions