changeset 9159:62b3df842de9

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.
author Martin Geisler <mg@lazybytes.net>
date Thu, 16 Jul 2009 23:25:26 +0200
parents d6eecafaf12f
children 81028d2db635
files doc/Makefile
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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