# HG changeset patch
# User Giorgos Keramidas <keramida@ceid.upatras.gr>
# Date 1241698105 -10800
# Node ID e0eb03bfa5af2123c0fb4f59551cab25ecf05d7a
# Parent  8417d82d3969d568e12beed7c1ef010fa856ec53
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.

diff -r 8417d82d3969 -r e0eb03bfa5af doc/Makefile
--- 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