doc/Makefile
changeset 8311 e0eb03bfa5af
parent 7686 fa584d23e3cc
child 8822 1027da7d2fb9
--- a/doc/Makefile	Fri May 08 07:54:00 2009 +0200
+++ b/doc/Makefile	Thu May 07 15:08:25 2009 +0300
@@ -20,8 +20,8 @@
 	${PYTHON} gendoc.py > $@
 
 %: %.xml
-	xmlto man $*.xml ; \
-	sed -e 's/^\.hg/\\\&.hg/' $* > $*~ ; \
+	xmlto man $*.xml && \
+	sed -e 's/^\.hg/\\\&.hg/' $* > $*~ && \
 	mv $*~ $*
 
 %.xml: %.txt