Re: run xmllint during build (was Re: need xmllint on borka)

> Also, a general comment, which is independent of this patch: I found the
> documentation build especially not resilient, with a lack of clear error
> messages when something is broken. Basically, if configure does not found
> something for the doc (openjade, osx, xmllint, ...) it does not complain.
> That is fine with me, people would not always want to build the doc anyway as
> it is available online. However, the Makefile in doc/src/sgml overrides the
> not found commands (ifndef JADE JADE=..., etc), and proceed to unhelpful and
> unclear errors later on. ISTM that it may be more helful to do:

To be more constructive:

Maybe all commands could have a check counterpart added to the
dependencies, so as to fail gracefully only if needed, something like:

.check_XXX:
if type -p $(XXX) > /dev/null ; then touch $@ ; else \
echo "command $(XXX) not found"; exit 1 ; \
fi

foo: .check_XXX
$(XXX) ...

I'm not sure how to check for the docbook style availability though.

--
Fabien.