On Tue, 29 Jan 2019 at 10:14, Peter Maydell <peter.mayd...@linaro.org> wrote:
> On Mon, 28 Jan 2019 at 17:44, Matthew Woehlke <mwoehlke.fl...@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
--
You received this message because you are subscribed to the Google Groups
"sphinx-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sphinx-users+unsubscr...@googlegroups.com.
To post to this group, send email to sphinx-users@googlegroups.com.
Visit this group at https://groups.google.com/group/sphinx-users.
For more options, visit https://groups.google.com/d/optout.
