Re: [Qemu-devel] [PATCH v3 08/12] docs: Provide separate conf.py for each manual we want

[Peter Maydell]

On Thu, 7 Mar 2019 at 12:14, Cleber Rosa <address@hidden> wrote:
>
> On Thu, Mar 07, 2019 at 09:49:44AM +0000, Peter Maydell wrote:
> > On Thu, 7 Mar 2019 at 01:40, Cleber Rosa <address@hidden> wrote:
> > Thanks for pointing out the tags functionality. That said,
> > this won't do what we want, will it?
> >  * building the docs gives all the docs in the build tree
> >  * but we only install via 'make install' the ones the user wants
> >
>
> It should be doable.  I put a PoC here:
>
>   https://github.com/clebergnu/sphinx-conditional-project/tree/master
>
> I'm understanding that the `make install` step is nothing but a copy
> of the produced build.  For this PoC, I used an HTML builder.

I'm still not clear how this helps. Either the top level
index file has everything in it (in which case it's no good
for 'make install'), or we just have separate manuals per
document (which doesn't seem to me to gain much over what
we currently have in this patchset, and you end up listing
everything multiple times in the index.rst).

thanks
-- PMM