diff options
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/MkHelpFile.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/MkHelpFile.hs b/src/tools/MkHelpFile.hs index 45e9d302a..a0fafa918 100644 --- a/src/tools/MkHelpFile.hs +++ b/src/tools/MkHelpFile.hs @@ -38,6 +38,7 @@ mkOne s = " \"" ++ pref s ++ (escs s) ++ "\" ++" pref _ = "\\n" --- escs [] = [] escs (c:cs) | elem c "\"\\" = '\\':c:escs cs + | fromEnum c > 127 = "\\" ++show (fromEnum c)++escs cs escs (c:cs) = c:escs cs helpHeader = unlines [ |