From aa9cb78f66c53728593c1f65f69f2bbc7ca4a4a9 Mon Sep 17 00:00:00 2001 From: David Marchand Date: Thu, 1 Apr 2021 21:58:42 +0200 Subject: [PATCH] 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 Acked-by: Aaron Conole --- 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 @@ try: 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/', -- 2.20.1