Peter Eisentraut wrote: > 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.
Also, http://www.postgresql.org/message-id/1399429219.5361.10.ca...@vanquo.pezone.net I'm of two minds about this. I wonder if there's a sensible way to have things not fail when xmllint is not installed but the documentation hasn't been patched. Maybe $(missing) wasn't the right thing to use in all these targets -- perhaps we could spare the hard error for some users. What "make world" does is call "make all" in doc/src/sgml, and that in turn depends on html and man. As far as I can see, only man-stamp fails if xmllint is not present. Can we just skip the xmllint step if xmllint not present in that rule, and that rule only? To replace that, we could have "make check" in docs do the xmllint run (that's where we have the check-tabs rule also). -- Álvaro Herrera http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
