diff --git a/docs/conf.py b/docs/conf.py index f0b572d..1bc71ed 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -21,19 +21,16 @@ # import sys # sys.path.insert(0, os.path.abspath('.')) -import os import re import expipe -on_rtd = os.environ.get('READTHEDOCS', None) == 'True' -if not on_rtd: # only import and set the theme if we're building docs locally - try: - import sphinx_rtd_theme - html_theme = "sphinx_rtd_theme" - html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] - except ImportError: - print("RTD theme not installed, using default") - pass +try: + import sphinx_rtd_theme + html_theme = "sphinx_rtd_theme" + html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] +except ImportError: + print("RTD theme not installed, using default") + pass # -- General configuration ------------------------------------------------