<http://www.keithf4.com>
On Sun, Jun 21, 2015 at 10:56 AM, Peter Eisentraut <pete...@gmx.net> wrote: > On 6/18/15 8:54 AM, Tom Lane wrote: > > Sure; the point is that libxml2 has suddenly been reclassified as a > > documentation build tool, which is at least a surprising categorization. > > libxml2 has been a required documentation build tool since PostgreSQL > 9.0. The only thing that's new is that xmllint is in a different > subpackage on some systems. So just install that and you're all set for > the foreseeable future. > > Well, something is different in 9.5. On this same system (Linux Mint 17.1) I can build all previous versions with "make world" and I do not get this error.