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

Peter Eisentraut <peter_e@gmx.net> writes:
> On 2/4/15 2:24 PM, Andrew Dunstan wrote:
>> On 02/03/2015 10:00 AM, David Fetter wrote:
>>> On 02/03/2015 08:55 AM, Kevin Grittner wrote:
>>>> I realize this is slightly OT, but I wonder if it might be worth having
>>>> targets that build and install everything but the docs.

>> Here's a tiny patch for that

> Not excited about that name.  (Does "bin" include "lib?")

Yeah, doesn't seem quite right to me either.

> If we're reshuffling, how about renaming world to all, and adding
> all-no-doc or something similarly explicit?

-1 for renaming any existing targets; that's quite likely to cause
packagers pain, for little gain IMO.

> Or maybe use a make variable, like NO_DOC.  I think that's preferable to
> adding more targets.

Unless we can come up with a new target name that obviously means
"world minus docs", the make-variable idea may be the best.
        regards, tom lane