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.