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. -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers