| From: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> |
|---|---|
| To: | Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com> |
| Cc: | 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:23:32 |
| Message-ID: | 2857207.1622586212@sss.pgh.pa.us |
| Views: | Whole Thread | Raw Message | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-hackers |
Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)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.
regards, tom lane
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Peter Eisentraut | 2021-06-01 22:54:00 | Re: CALL versus procedures with output-only arguments |
| Previous Message | Peter Eisentraut | 2021-06-01 22:20:04 | Re: make world and install-world without docs |