Peter Eisentraut <pete...@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


-- 
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers

Reply via email to