On Thu, 7 Mar 2019 at 12:14, Cleber Rosa <cr...@redhat.com> wrote: > > On Thu, Mar 07, 2019 at 09:49:44AM +0000, Peter Maydell wrote: > > On Thu, 7 Mar 2019 at 01:40, Cleber Rosa <cr...@redhat.com> 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
