diff options
Diffstat (limited to 'buildtools/makeman')
-rwxr-xr-x | buildtools/makeman | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/buildtools/makeman b/buildtools/makeman index 100ad580..bcc65cff 100755 --- a/buildtools/makeman +++ b/buildtools/makeman @@ -210,6 +210,7 @@ def makeman(name, file, indoc): # Special characters indoc = indoc.replace(""", "'") indoc = indoc.replace(" ", "\\ ") + indoc = indoc.replace("\", "\\\\") # Tables indoc = re.sub(' *<table[^>]*>.*', ".TS", indoc) indoc = re.sub(" *</table>.*", ".TE", indoc) |