David Marchand <david.march...@redhat.com> writes:
> If the rtd theme is available, passing it by name is enough to select
> it. Sphinx itself recognises the "sphinx_rtd_theme" name as a special
> case and tries to find its path automatically.
>
> On the other hand, passing a html_theme_path makes sphinx parse all
> themes availables in this path, which in some environment (like GHA) is
> /usr/share and makes sphinx error on the first zipfile it finds (in GHA,
> some Azure CLI thingy) that has no sphinx theme in it.
>
> Fixes: 46562be65094 ("doc: import sphinx rtd theme when available")
> Cc: sta...@dpdk.org
>
> Signed-off-by: David Marchand <david.march...@redhat.com>
> ---
https://github.com/ovsrobot/dpdk/tree/series_16066
https://github.com/ovsrobot/dpdk/actions/runs/709682570
Acked-by: Aaron Conole <acon...@redhat.com>
> doc/guides/conf.py | 1 -
> 1 file changed, 1 deletion(-)
>
> diff --git a/doc/guides/conf.py b/doc/guides/conf.py
> index aceeb62a4f..ec59aeae7e 100644
> --- a/doc/guides/conf.py
> +++ b/doc/guides/conf.py
> @@ -20,7 +20,6 @@
> import sphinx_rtd_theme
>
> html_theme = "sphinx_rtd_theme"
> - html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
> except:
> print('Install the sphinx ReadTheDocs theme for improved html
> documentation '
> 'layout: https://sphinx-rtd-theme.readthedocs.io/',
