Re: 9.5 make world failing due to sgml tools missing

Peter Eisentraut <peter_e@gmx.net> writes:
> On 6/17/15 3:35 PM, Keith Fiske wrote:
>> The current HEAD of postgres in the git repo is not building when using
>> "make world". It's been like this for about a month or so that I've been
>> aware of. I didn't really need the world build so been making due
>> without it. At PGCon now, though, so asked Bruce and he said this error
>> was due to my not having the sgml tools installed, which should not be a
>> requirement.

> make world has always required documentation build tools.

Sure; the point is that libxml2 has suddenly been reclassified as a
documentation build tool, which is at least a surprising categorization.
        regards, tom lane