changeset 8311:e0eb03bfa5af

manpage build: fail early when xmlto is not available When we try to build manpages with xmlto and sed, but xmlto is missing fail at the xmlto stage. Otherwise, one may run `cd doc; make' and miss the warnings like: xmlto: not found sed: hg.1: No such file or directory and end up with empty files installed as manpages.
author Giorgos Keramidas <keramida@ceid.upatras.gr>
date Thu, 07 May 2009 15:08:25 +0300
parents 8417d82d3969
children b87a50b7125c
files doc/Makefile
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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