Feedback-ID: i131946ab:Fastmail
Message-ID: <245481bd-95a5-4967-4580-e4a8105ad991@enterprisedb.com>
Date: Wed, 29 Mar 2023 18:15:02 +0200
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0)
 Gecko/20100101 Thunderbird/102.9.0
Subject: Re: what should install-world do when docs are not available?
Content-Language: en-US
To: Andres Freund <andres@anarazel.de>, pgsql-hackers@postgresql.org,
 Justin Pryzby <pryzby@telsasoft.com>
References: <20230325201414.sh7c6xlut2fpunnv@awork3.anarazel.de>
From: Peter Eisentraut <peter.eisentraut@enterprisedb.com>
In-Reply-To: <20230325201414.sh7c6xlut2fpunnv@awork3.anarazel.de>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Archived-At: 
 <https://www.postgresql.org/message-id/245481bd-95a5-4967-4580-e4a8105ad991%40enterprisedb.com>
Precedence: bulk

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.