Re: [PULL v2 0/1] readthedoc theme patch

[Peter Maydell]

On Wed, 12 May 2021 at 20:31, Peter Maydell <peter.maydell@linaro.org> wrote:
> I should be able to deal with this by installing the rtd theme on
> the host. I'll retry merging the pullreq.

On try 2 I find that some of my machines warn:

Program qemu-keymap found: NO
Program sphinx-build found: YES
../../docs/meson.build:30: WARNING: /usr/bin/sphinx-build:
Theme error:
unsupported theme option 'style_nav_header_background' given

Program python3 found: YES (/usr/bin/python3)
Program diff found: YES

It looks like this is because it's trying to use an option
that's only present in newer versions of the theme. (Ubuntu
bionic has version 0.2.4 of the rtd theme.)

Is it possible to either avoid or conditionalize the use of
this config setting?

thanks
-- PMM