On Tue, 29 Jan 2019 at 10:14, Peter Maydell <
peter....@linaro.org> wrote:
> On Mon, 28 Jan 2019 at 17:44, Matthew Woehlke <
mwoehlk...@gmail.com> wrote:
> > If not, the easiest solution may be to just treat the two manuals as
> > entirely separate. That is, separate directories in the repo, separate
> > build steps, separate conf.py, etc... and then just don't write install
> > rules for the dev guide.
>
> Thanks; yes, there's no strong need for the different manuals
> to cross-reference, so we can just treat them as separate.
This is working out pretty well. I have noticed though that (with the
theme I've picked) the _static/fonts subdirectory of each manual has
2.7MB of font files which are the same for each manual. Is it possible
to get Sphinx to share the _static/ directories, which I assume are
going to be the same for every manual ?
> (I'm not sure how that would interact with third-party sites like
>
readthedocs.io, but perhaps we could have a top level conf.py
> in docs/ which they would use...
I got this bit working quite nicely: each manual's conf.py is just
parent_config = os.path.abspath("../conf.py")
exec(compile(open(parent_config, "rb").read(), parent_config, 'exec'))
# then override/set things for this manual
and then you can build either an individual manual, or if you
point sphinx-build at the top-level conf.py it builds the lot.
thanks
-- PMM