Skip to content
Snippets Groups Projects
Commit e0eb03bf authored by Giorgos Keramidas's avatar Giorgos Keramidas
Browse files

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.
parent 8417d82d
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment