doc: add newline after literal blocks in man pages
The rst2man writer leaves no space between a literal block and the
following paragraph. This patch corrects this.
It has also been applied upstream. This does not conflict with this
change since any number of newlines can be added without effecting the
rendered man page.
--- 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