On Wed, 12 May 2021 at 20:31, Peter Maydell <peter.mayd...@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
