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.
