From 7f4b7d66a32358a1a5736c20c76608f4e9a51a1b Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Mon, 26 Jul 2010 17:43:34 -0400 Subject: [PATCH] help.html: escape % in word names (reported by Anton Gorenko) --- basis/help/html/html.factor | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor index 948b52a345..feb24e732d 100644 --- 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 ;