diff options
| -rw-r--r-- | polly/docs/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/docs/conf.py b/polly/docs/conf.py index 4fb1695e221..64d3968596d 100644 --- a/polly/docs/conf.py +++ b/polly/docs/conf.py @@ -96,7 +96,7 @@ try: import sphinx_rtd_theme html_theme = "sphinx_rtd_theme" html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] -except ModuleNotFoundError: +except ImportError: html_theme = 'haiku' |
