Shorter help filenames

db4
Slava Pestov 2008-11-17 09:01:01 -06:00
parent c0b56c4d3b
commit 543ef13a7d
1 changed files with 3 additions and 5 deletions

View File

@ -10,17 +10,15 @@ IN: help.html
: escape-char ( ch -- )
dup H{
{ CHAR: " "__quote__" }
{ CHAR: " "__quo__" }
{ CHAR: * "__star__" }
{ CHAR: : "__colon__" }
{ CHAR: < "__lt__" }
{ CHAR: > "__gt__" }
{ CHAR: ? "__question__" }
{ CHAR: \\ "__backslash__" }
{ CHAR: ? "__que__" }
{ CHAR: \\ "__back__" }
{ CHAR: | "__pipe__" }
{ CHAR: _ "__underscore__" }
{ CHAR: / "__slash__" }
{ CHAR: \\ "__backslash__" }
{ CHAR: , "__comma__" }
{ CHAR: @ "__at__" }
} at [ % ] [ , ] ?if ;