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