From 9fe0fb98064b9e974fb47b1b808548fc0ff7362f Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@shill.local>
Date: Mon, 6 Jul 2009 04:24:01 -0500
Subject: [PATCH] help.html: escape # in word names. Reported by ex_rzrjck

---
 basis/help/html/html.factor | 1 +
 1 file changed, 1 insertion(+)

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index fbfc42829e..725a2c6d8f 100644
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -24,6 +24,7 @@ IN: help.html
             { CHAR: / "__slash__" }
             { CHAR: , "__comma__" }
             { CHAR: @ "__at__" }
+            { CHAR: # "__hash__" }
         } at [ % ] [ , ] ?if
     ] [ number>string "__" "__" surround % ] if ;