diff options
-rwxr-xr-x | buildtools/makeman | 1 | ||||
-rw-r--r-- | doc/HISTORY | 3 |
2 files changed, 4 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) diff --git a/doc/HISTORY b/doc/HISTORY index 50394aac..a9daac86 100644 --- a/doc/HISTORY +++ b/doc/HISTORY @@ -6,6 +6,9 @@ CHANGE HISTORY not yet BJH Release 10.71.00 + makeman: deal properly with backlash in source. Thanks Willem + van Schaik <willem@schaik.com>. + 15.03.29 BJH Release 10.70.00 Add st4topgm, pgmtost4. |