doc/Makefile
changeset 9418 a82db54bc3be
parent 9405 7345fa5e572e
child 9422 ec26d6986d85
--- a/doc/Makefile	Thu Sep 03 21:07:06 2009 +0200
+++ b/doc/Makefile	Thu Sep 03 21:36:44 2009 +0200
@@ -6,7 +6,6 @@
 INSTALL=install -c -m 644
 PYTHON=python
 RST2HTML=$(shell which rst2html 2> /dev/null || which rst2html.py)
-RST2MAN=$(shell which rst2man 2> /dev/null || which rst2man.py)
 
 all: man html
 
@@ -21,13 +20,7 @@
 	${PYTHON} gendoc.py > $@
 
 %: %.txt common.txt
-	$(RST2MAN) $*.txt > $*.tmp
-# add newline after all literal blocks and fix backslash escape
-	sed \
-	  -e 's/^\.fi$$/.fi\n/' \
-	  -e 's/\\fB\\\\fP/\\fB\\e\\fP/' \
-	  $*.tmp > $*
-	rm $*.tmp
+	$(PYTHON) rst2man.py $*.txt > $*
 
 %.html: %.txt common.txt
 	$(RST2HTML) $*.txt > $*.html