Re: [PATCH] docs: Build and install all the docs in a single manual

2020-12-11 Thread Peter Maydell
On Fri, 11 Dec 2020 at 15:48, Paolo Bonzini wrote: > > On 10/12/20 21:35, Peter Maydell wrote: > > 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

Re: [PATCH] docs: Build and install all the docs in a single manual

2020-12-11 Thread Paolo Bonzini
On 10/12/20 21:35, Peter Maydell wrote: 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. How

[PATCH] docs: Build and install all the docs in a single manual

2020-12-10 Thread Peter Maydell
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 of