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

Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> It would especially be valuable if someone with a different-than-mine OS
> would verify whether they can install xmllint according to the
> documentation, or update the documentation if not.

FWIW, xmllint appears to be part of the base libxml2 package on Red Hat
(checked on RHEL6 and Fedora rawhide).

I'm not sure I'd phrase it like this:

+ This library and the <command>xmllint</command> tool it contains are
+ used for processing XML. Many developers will already

The library surely does not contain the tool; more like vice versa.
Perhaps "provides" would be a better verb.

regards, tom lane