diff options
| -rwxr-xr-x | buildtools/makeman | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/buildtools/makeman b/buildtools/makeman index 9b2653bf..94ee2172 100755 --- a/buildtools/makeman +++ b/buildtools/makeman @@ -208,7 +208,6 @@ 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) |