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

1 files changed, 13 insertions, 41 deletions

diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug1054.html
index 12887a83..df3fae0a 100644
--- a/html-test/ref/Bug387.html
+++ b/html-test/ref/Bug1054.html
@@ -3,7 +3,7 @@
   ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
      /><meta name="viewport" content="width=device-width, initial-scale=1"
      /><title
-    >Bug387</title
+    >Bug1054</title
     ><link href="#" rel="stylesheet" type="text/css" title="Linuwial"
      /><link rel="stylesheet" type="text/css" href="#"
      /><link rel="stylesheet" type="text/css" href="#"
@@ -40,7 +40,7 @@
 	    ></tr
 	  ></table
 	><p class="caption"
-	>Bug387</p
+	>Bug1054</p
 	></div
       ><div id="table-of-contents"
       ><div id="contents-list"
@@ -49,11 +49,9 @@
 	  ><ul
 	  ><li
 	    ><a href="#"
-	      >Section1</a
-	      ></li
-	    ><li
-	    ><a href="#"
-	      >Section2</a
+	      >Header with <code
+		>foo</code
+		> link</a
 	      ></li
 	    ></ul
 	  ></div
@@ -65,49 +63,23 @@
 	  ><ul class="details-toggle" data-details-id="syn"
 	  ><li class="src short"
 	    ><a href="#"
-	      >test1</a
-	      > :: <a href="#" title="Data.Int"
-	      >Int</a
-	      ></li
-	    ><li class="src short"
-	    ><a href="#"
-	      >test2</a
-	      > :: <a href="#" title="Data.Int"
-	      >Int</a
-	      ></li
+	      >foo</a
+	      > :: ()</li
 	    ></ul
 	  ></details
 	></div
       ><div id="interface"
       ><a href="#" id="g:1"
 	><h1
-	  >Section1<a id="a:section1"
-	    ></a
-	    ></h1
-	  ></a
-	><div class="top"
-	><p class="src"
-	  ><a id="v:test1" class="def"
-	    >test1</a
-	    > :: <a href="#" title="Data.Int"
-	    >Int</a
-	    > <a href="#" class="selflink"
-	    >#</a
-	    ></p
-	  ></div
-	><a href="#" id="g:2"
-	><h1
-	  >Section2<a id="a:section2"
-	    ></a
-	    ></h1
+	  >Header with <code
+	    >foo</code
+	    > link</h1
 	  ></a
 	><div class="top"
 	><p class="src"
-	  ><a id="v:test2" class="def"
-	    >test2</a
-	    > :: <a href="#" title="Data.Int"
-	    >Int</a
-	    > <a href="#" class="selflink"
+	  ><a id="v:foo" class="def"
+	    >foo</a
+	    > :: () <a href="#" class="selflink"
 	    >#</a
 	    ></p
 	  ></div