changeset 9161 | e8b653a4b8da |
parent 9159 | 62b3df842de9 |
child 9162 | 2399362b3bb0 |
--- a/doc/Makefile Thu Jul 16 23:25:26 2009 +0200 +++ b/doc/Makefile Thu Jul 16 23:25:26 2009 +0200 @@ -21,8 +21,11 @@ ${PYTHON} gendoc.py > $@ %: %.txt - # add newline after all literal blocks - $(RST2MAN) $*.txt | sed -e 's/^\.fi$$/.fi\n/' > $* + # add newline after all literal blocks and fix backslash escape + $(RST2MAN) $*.txt \ + | sed -e 's/^\.fi$$/.fi\n/' \ + | sed -e 's/\\fB\\\\fP/\\fB\\e\\fP/' \ + > $* %.html: %.txt $(RST2HTML) $*.txt > $*.html