On 2/4/15 2:24 PM, Andrew Dunstan wrote: > > On 02/03/2015 10:00 AM, David Fetter wrote: >> On Tue, Feb 03, 2015 at 09:08:45AM -0500, Andrew Dunstan wrote: >>> On 02/03/2015 08:55 AM, Kevin Grittner wrote: >>>> I run `make -s -j4 world` on my i7 fairly often, and it is often >>>> the doc build that I wind up waiting for at the end. >>> I realize this is slightly OT, but I wonder if it might be worth having >>> targets that build and install everything but the docs. >> That'd be great.
> Here's a tiny patch for that Not excited about that name. (Does "bin" include "lib?") If we're reshuffling, how about renaming world to all, and adding all-no-doc or something similarly explicit? Or maybe use a make variable, like NO_DOC. I think that's preferable to adding more targets. -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
