|
@@ -49,10 +49,11 @@ highlight_language = 'gdscript'
|
|
|
# on_rtd is whether we are on readthedocs.org, this line of code grabbed from docs.readthedocs.org
|
|
|
on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
|
|
|
|
|
|
-if not on_rtd: # only import and set the theme if we're building docs locally
|
|
|
- import sphinx_rtd_theme
|
|
|
- html_theme = 'sphinx_rtd_theme'
|
|
|
- html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
|
|
|
+import sphinx_rtd_theme
|
|
|
+html_theme = 'sphinx_rtd_theme'
|
|
|
+html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
|
|
|
+if on_rtd:
|
|
|
+ using_rtd_theme = True
|
|
|
|
|
|
# Theme options
|
|
|
html_theme_options = {
|