help.html: escape % in word names (reported by Anton Gorenko)

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 948b52a345bb617d568ee12af1f871052d0cc9d0..feb24e732d786deff8cb11f3f805d3df9e09a519 100644 (file)
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -1,4 +1,4 @@
-! Copyright (C) 2008, 2009 Slava Pestov.
+! Copyright (C) 2008, 2010 Slava Pestov.
 ! See http://factorcode.org/license.txt for BSD license.
 USING: io.encodings.utf8 io.encodings.binary
 io.files io.files.temp io.directories html.streams help kernel
@@ -26,6 +26,7 @@ IN: help.html
             { CHAR: , "__comma__" }
             { CHAR: @ "__at__" }
             { CHAR: # "__hash__" }
+            { CHAR: % "__percent__" }
         } at [ % ] [ , ] ?if
     ] [ number>string "__" "__" surround % ] if ;