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
