public inbox for [email protected]
help / color / mirror / Atom feedFrom: Tom Lane <[email protected]>
To: Andres Freund <[email protected]>
Cc: [email protected]
Cc: Justin Pryzby <[email protected]>
Subject: Re: what should install-world do when docs are not available?
Date: Sat, 25 Mar 2023 16:40:03 -0400
Message-ID: <[email protected]> (raw)
In-Reply-To: <[email protected]>
References: <[email protected]>
Andres Freund <[email protected]> writes:
> Right now if one does install-world with autoconf, without having xmllint or
> xsltproc available, one gets an error:
> ERROR: `xmllint' is missing on your system.
> Is that good? Should meson behave the same?
Since install-world is defined to install documentation, it should
do so or fail trying. Maybe we could skip the xmllint step, but you'd
still need xsltproc so I'm not sure that that moves the bar very far.
> If that's what we decide to do, perhaps "docs" should be split further? The
> dependencies for pdf generation are a lot more heavyweight.
Yeah. Personally I think "docs" should just build/install the HTML
docs, but maybe I'm too narrow-minded.
> We should probably also generate a useful error when the stylesheets aren't
> available.
Maybe, but we haven't had that in the autoconf case either, and there
have not been too many complaints. Not sure it's worth putting extra
effort into.
regards, tom lane
view thread (2+ 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