Re: make world and install-world without docs

On 6/1/21 6:23 PM, Tom Lane wrote:
> Peter Eisentraut <peter.eisentraut@enterprisedb.com> writes:
>> On 31.05.21 16:16, Andrew Dunstan wrote:
>>> make SKIPDOCS=1 world
>>> make SKIPDOCS=1 install-world
>> Maybe this should be configure option?  That's generally where you set 
>> what you want to build or not build.  (That might also make the 
>> buildfarm integration easier, since there are already facilities to 
>> specify and report configure options.)
> Hmm, I think I prefer Andrew's way.  The fact that I don't want
> to build the docs right now doesn't mean I won't want to do so
> later --- in fact, that sequence is pretty exactly what I do
> whenever I'm working on a patch.  It'd be annoying to have
> to re-configure to make that work.
>
> 			



Yes, agreed. If you don't like the SKIPDOCS=1 mechanism, let's just
invent a couple of new targets instead, say `world-bin` and
`install-world-bin`.


I'm inclined to agree with Alvaro that the messages are at best an
oddity. Standard Unix practice is to be silent on success.


cheers


andrew


--
Andrew Dunstan
EDB: https://www.enterprisedb.com