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

On 02/04/2015 06:53 PM, Tom Lane wrote:
>> 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.
>
>             


I'm not terribly keen on this. If you don't like "binworld", how about 
"world-no-docs"?

cheers

andrew