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
cheers
andrew