On 6/1/21 6:23 PM, Tom Lane wrote: > Peter Eisentraut <peter.eisentr...@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
