doc/Makefile
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