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