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