diff options
| author | David Waern <david.waern@gmail.com> | 2008-11-23 17:13:21 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2008-11-23 17:13:21 +0000 |
| commit | 0183315fa02a5fd2046103a4f0d431fb033547a4 (patch) | |
| tree | 520bd89176b5d9ac7555137b4ee277aeca4891aa /tests/output/Bugs.html | |
| parent | 9f5e97684ae513a7465a9a8a6ff962d45066d243 (diff) | |
FIX #45: generate two anchors for each name
We generate two anchor tags for each name, one where we don't escape the name
and one where we URI-encode it. This is for compatibility between IE and Opera.
Test output is updated.
Diffstat (limited to 'tests/output/Bugs.html')
| -rw-r--r-- | tests/output/Bugs.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/output/Bugs.html b/tests/output/Bugs.html index dfd0320c..3654099f 100644 --- a/tests/output/Bugs.html +++ b/tests/output/Bugs.html @@ -70,7 +70,9 @@ ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN -> <A NAME="t%3AA" +> <A NAME="t:A" +><A NAME="t%3AA" +></A ></A ><B >A</B @@ -88,8 +90,10 @@ ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" +><A NAME="v:A" ><A NAME="v%3AA" ></A +></A ><B >A</B > a (a -> Int)</TD |