Re: what should install-world do when docs are not available? - Mailing list pgsql-hackers

From Peter Eisentraut
Subject Re: what should install-world do when docs are not available?
Date
Msg-id c61657b2-2892-5be3-5e9a-55cc5b8c2a95@enterprisedb.com
Whole thread Raw
In response to Re: what should install-world do when docs are not available?  (Andres Freund <andres@anarazel.de>)
Responses Re: what should install-world do when docs are not available?
List pgsql-hackers
On 29.03.23 18:25, Andres Freund wrote:
> On 2023-03-29 18:15:02 +0200, Peter Eisentraut wrote:
>> On 25.03.23 21:14, Andres Freund wrote:
>>> I wonder if, for meson, the best behaviour would be to make 'docs' a feature
>>> set to auto. If docs set to enabled, and the necessary tools are not
>>> available, fail at that time, instead of doing so while building.
>>
>> Makes sense to me.
>>
>>> If that's what we decide to do, perhaps "docs" should be split further? The
>>> dependencies for pdf generation are a lot more heavyweight.
>>
>> I think "docs" should be html and man, because that's what gets installed.
>>
>> pdf and other things can just be an ad hoc build target and doesn't need
>> install support.
> 
> I just meant for feature detection.

Ah yes, then things like fop should either be a separate feature or just 
do something light weight, like failing the target if fop isn't there.




pgsql-hackers by date:

Previous
From: Andres Freund
Date:
Subject: Re: what should install-world do when docs are not available?
Next
From: Zheng Li
Date:
Subject: Re: Support logical replication of DDLs