update handling of %-escapes in urls

[wix.git] / src / Html.lhs

diff --git a/src/Html.lhs b/src/Html.lhs
index a6cfeea..96e9e6a 100644 (file)
--- a/src/Html.lhs
+++ b/src/Html.lhs
@@ -1,4 +1,8 @@
 \begin{code}
+-- Copyright 2008 the Contributors, as shown in the revision logs.
+-- Licensed under the Apache Public Source License 2.0 ("the License").
+-- You may not use this file except in compliance with the License.
+
 module Html
 where
 import Edu_Berkeley_Sbp_Haskell_SBP
@@ -195,6 +199,7 @@ instance ToHtml Text where
  toHtml (Quotes x)                = "“"++(toHtml x)++"”"
  toHtml (Verbatim x)              = pre x
  toHtml (Link t ref)              = link (show ref) (toHtml t)
+ toHtml (Command "comment" y)     = ""
  toHtml (Command "url" y)         = "<tt>"++(link (toHtml y) (toHtml y))++"</tt>"
  toHtml (Command "WiX" y)         = "W<span style='vertical-align:-20%'>I</span>X"
  toHtml (Command "TeX" y)         = "T<span style='vertical-align:-20%'>E</span>X"