On Fri, 15 Jan 2021 at 15:44, Peter Maydell wrote:
> Changes v2->v3:
> * just the addition of the .gitlab-ci.yml change to fix the Pages CI job
> Since this is a 2-line change I've taken the liberty of keeping Paolo's
> R-by tag on the basis that it's not a material change to the bulk of the
>
When we first converted our documentation to Sphinx, we split it into
multiple manuals (system, interop, tools, etc), which are all built
separately. The primary driver for this was wanting to be able to
avoid shipping the 'devel' manual to end-users. However, this is
working against the grain
