Re: make world and install-world without docs

From: Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com>
To: Andrew Dunstan <andrew(at)dunslane(dot)net>, PostgreSQL Hackers <pgsql-hackers(at)lists(dot)postgresql(dot)org>
Subject: Re: make world and install-world without docs
Date: 2021-06-01 22:20:04
Message-ID: 2bda0064-e0b5-413b-b829-decb84a1f3a9@enterprisedb.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
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.)

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Tom Lane 2021-06-01 22:23:32 Re: make world and install-world without docs
Previous Message Tom Lane 2021-06-01 21:32:51 Re: join pushdown and issue with foreign update