Re: make world and install-world without docs - Mailing list pgsql-hackers

From Peter Eisentraut
Subject Re: make world and install-world without docs
Date
Msg-id 2bda0064-e0b5-413b-b829-decb84a1f3a9@enterprisedb.com
Whole thread Raw
In response to make world and install-world without docs  (Andrew Dunstan <andrew@dunslane.net>)
Responses Re: make world and install-world without docs
List 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.)




pgsql-hackers by date:

Previous
From: Tom Lane
Date:
Subject: Re: join pushdown and issue with foreign update
Next
From: Tom Lane
Date:
Subject: Re: make world and install-world without docs