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/Bug387.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/Bug387.hs')
| -rw-r--r-- | html-test/src/Bug387.hs | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/html-test/src/Bug387.hs b/html-test/src/Bug387.hs deleted file mode 100644 index d9fed34e..00000000 --- a/html-test/src/Bug387.hs +++ /dev/null @@ -1,12 +0,0 @@ -module Bug387 - ( -- * Section1#a:section1# - test1 - -- * Section2#a:section2# - , test2 - ) where - -test1 :: Int -test1 = 223 - -test2 :: Int -test2 = 42 |