diff options
| author | Siddharth Bhat <siddu.druid@gmail.com> | 2017-05-26 12:56:35 +0000 |
|---|---|---|
| committer | Siddharth Bhat <siddu.druid@gmail.com> | 2017-05-26 12:56:35 +0000 |
| commit | c56a355a3530b4456682990515505dbaef821c43 (patch) | |
| tree | 51375033ef3447b7ae4334514f1c484d23ff84c3 | |
| parent | 7d5f12185a32d4b6cda635fa3e367ebeebed1af0 (diff) | |
| download | bcm5719-llvm-c56a355a3530b4456682990515505dbaef821c43.tar.gz bcm5719-llvm-c56a355a3530b4456682990515505dbaef821c43.zip | |
[Docs] Fix exception name being caught in case ReadTheDocs does not exist.
The exception is `ImportError`, not `ModuleNotFoundError`.
llvm-svn: 303982
| -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' |
