public inbox for [email protected]
help / color / mirror / Atom feedFrom: Peter Eisentraut <[email protected]>
To: Andres Freund <[email protected]>
To: [email protected]
To: Justin Pryzby <[email protected]>
Subject: Re: what should install-world do when docs are not available?
Date: Wed, 29 Mar 2023 18:15:02 +0200
Message-ID: <[email protected]> (raw)
In-Reply-To: <[email protected]>
References: <[email protected]>
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.
view thread (3+ messages)
reply
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: [email protected]
Cc: [email protected], [email protected], [email protected]
Subject: Re: what should install-world do when docs are not available?
In-Reply-To: <[email protected]>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox