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

Slava Pestov 2010-07-26 17:43:34 -04:00
parent f49cdd10e8
commit 1055b49315
1 changed files with 2 additions and 1 deletions

View File

@ -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 ;