diff -r d6eecafaf12f -r 62b3df842de9 doc/Makefile --- 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