From 5dc3866928759fcaf6b31d1598051781389a01d4 Mon Sep 17 00:00:00 2001
From: Alec Theriault <alec.theriault@gmail.com>
Date: Sat, 28 Mar 2020 14:12:48 -0400
Subject: 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
---
 html-test/src/Bug387.hs | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 html-test/src/Bug387.hs

(limited to 'html-test/src/Bug387.hs')

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
-- 
cgit v1.2.3