Re: binworld and install-binworld targets - was Re: Release note bloat is getting out of hand

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.