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

On 9/14/14 3:34 AM, Fabien COELHO wrote:
>> 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.

Committed.