doc: fix sphinx rtd theme import in GHA
authorDavid Marchand <david.marchand@redhat.com>
Thu, 1 Apr 2021 19:58:42 +0000 (21:58 +0200)
committerThomas Monjalon <thomas@monjalon.net>
Thu, 1 Apr 2021 23:39:34 +0000 (01:39 +0200)
commitaa9cb78f66c53728593c1f65f69f2bbc7ca4a4a9
tree1ae1a5ae1086a3d1621106fb033425e48c66f92c
parent846ec2ea75adc6ce00ad79485fca5d9943ebecaa
doc: fix sphinx rtd theme import in GHA

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: stable@dpdk.org
Signed-off-by: David Marchand <david.marchand@redhat.com>
Acked-by: Aaron Conole <aconole@redhat.com>
doc/guides/conf.py