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

Hello Peter,

> I've committed the $(missing) use separately,

That was simple and is a definite improvement.

Tiny detail: the new DBTOEPUB macro definition in "src/Makefile.global.in" 
lacks another tab to be nicely aligned with the other definitions.

> and rebased this patch on top of that.

Applied and tested, everything looks fine.

The only remaining question is whether the xmllint check should always be 
called. You stated that it was stricter than sgml processing, so I would 
think it worth to always call it, but this is really a marginal 
preference. I think it is okay if some slaves in the build farm do build 
the various targets.

-- 
Fabien.