Horton

Re: make world and install-world without docs

Peter Eisentraut <peter.eisentraut@enterprisedb.com>

View thread View on postgr.es
From: Peter Eisentraut <peter.eisentraut@enterprisedb.com>
To: Andrew Dunstan <andrew@dunslane.net>, PostgreSQL Hackers <pgsql-hackers@lists.postgresql.org>
Date: 2021-06-01T22:20:04Z
Lists: pgsql-hackers 
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.)

Commits

  1. Add new make targets world-bin and install-world-bin