01/04/2021 22:37, Aaron Conole:
> 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>
Applied, thanks for the quick workaround.
This patch is removing html_theme_path,
not sure in which situation it was useful.
Future will tell.
>From sphinx doc:
"
If the theme does not come with Sphinx, it can be in two static forms or as a
Python package. For the static forms, either a directory (containing theme.conf
and other needed files), or a zip file with the same contents is supported. The
directory or zipfile must be put where Sphinx can find it; for this there is
the config value html_theme_path. This can be a list of directories, relative
to the directory containing conf.py, that can contain theme directories or zip
files.
"
