From 0183315fa02a5fd2046103a4f0d431fb033547a4 Mon Sep 17 00:00:00 2001
From: David Waern <david.waern@gmail.com>
Date: Sun, 23 Nov 2008 17:13:21 +0000
Subject: 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.
---
 tests/output/Visible.html | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tests/output/Visible.html')

diff --git a/tests/output/Visible.html b/tests/output/Visible.html
index d888ab2e..f3f9dc94 100644
--- a/tests/output/Visible.html
+++ b/tests/output/Visible.html
@@ -68,8 +68,10 @@
 ></TR
 ><TR
 ><TD CLASS="decl"
+><A NAME="v:visible"
 ><A NAME="v%3Avisible"
 ></A
+></A
 ><B
 >visible</B
 > :: Int -&gt; Int</TD
-- 
cgit v1.2.3