diff options
Diffstat (limited to 'html-test/ref/Bug387.html')
-rw-r--r-- | html-test/ref/Bug387.html | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html index 0fdfd723..25d6d989 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -76,27 +76,31 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug387.html" ></div ><div id="interface" ><h1 id="g:1" - >Section1<a name="a:section1" + >Section1<a id="a:section1" ></a ></h1 ><div class="top" ><p class="src" - ><a href="#" id="v:test1" class="def" + ><a id="v:test1" class="def" >test1</a > :: <a href="#" >Int</a + > <a href="#" class="selflink" + >#</a ></p ></div ><h1 id="g:2" - >Section2<a name="a:section2" + >Section2<a id="a:section2" ></a ></h1 ><div class="top" ><p class="src" - ><a href="#" id="v:test2" class="def" + ><a id="v:test2" class="def" >test2</a > :: <a href="#" >Int</a + > <a href="#" class="selflink" + >#</a ></p ></div ></div |