Re: [RFC PATCH] gitlab: default to not building the documentation

[Peter Maydell]

On Mon, 22 Mar 2021 at 15:09, Alex Bennée <alex.bennee@linaro.org> wrote:
>
> In d0f26e68a0 ("gitlab: force enable docs build in Fedora, Ubuntu,
> Debian") we made sure we can build the documents on more than one
> system. However we don't want to build documents all the time as it's
> a waste of cycles (and energy). So lets reduce the total amount of
> documentation we build while still keeping some coverage.

We specifically do want to build the docs on every host OS version
we support, because Sphinx is very prone to having docs constructs
that work on one version but not on another, and this is how we
maintain coverage of "do our docs build on every Sphinx version we
claim to support".

thanks
-- PMM