aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/BugExportHeadings.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/BugExportHeadings.html')
-rw-r--r--html-test/ref/BugExportHeadings.html24
1 files changed, 18 insertions, 6 deletions
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index 970f8200..e8fd6fa6 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -119,40 +119,48 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings
>Foo</h1
><div class="top"
><p class="src"
- ><a href="#" id="v:foo" class="def"
+ ><a id="v:foo" class="def"
>foo</a
> :: <a href="#"
>Int</a
+ > <a href="#" class="selflink"
+ >#</a
></p
></div
><h1 id="g:2"
>Bar</h1
><div class="top"
><p class="src"
- ><a href="#" id="v:bar" class="def"
+ ><a id="v:bar" class="def"
>bar</a
> :: <a href="#"
>Int</a
+ > <a href="#" class="selflink"
+ >#</a
></p
></div
><h1 id="g:3"
>Baz</h1
><div class="top"
><p class="src"
- ><a href="#" id="v:baz" class="def"
+ ><a id="v:baz" class="def"
>baz</a
> :: <a href="#"
>Int</a
+ > <a href="#" class="selflink"
+ >#</a
></p
></div
><h1 id="g:4"
>One</h1
><div class="top"
><p class="src"
- ><a href="#" id="v:one" class="def"
+ ><a id="v:one" class="def"
>one</a
> :: <a href="#"
>Int</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><div class="warning"
@@ -165,10 +173,12 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_BugExportHeadings
>Two</h1
><div class="top"
><p class="src"
- ><a href="#" id="v:two" class="def"
+ ><a id="v:two" class="def"
>two</a
> :: <a href="#"
>Int</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><div class="warning"
@@ -181,10 +191,12 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_BugExportHeadings
>Three</h1
><div class="top"
><p class="src"
- ><a href="#" id="v:three" class="def"
+ ><a id="v:three" class="def"
>three</a
> :: <a href="#"
>Int</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><div class="warning"