godotengine/godot-docs
1
0
Fork 0
mirror of https://github.com/godotengine/godot-docs.git synced 2026-01-05 22:09:56 +03:00
Code Issues Packages Projects Releases Wiki Activity

Sphinx: Fix build issue when no SPHINX_TAGS are defined

Browse Source 
Regression from 2a957dfc7e.
Fixes #2626.
This commit is contained in:
Rémi Verschelde
2019-07-15 19:48:17 +02:00
parent ce6ac8af19
commit b046a12ced
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
conf.py
View File

@@ -33,10 +33,11 @@ version = 'latest'
release = 'latest'
# Parse Sphinx tags passed from RTD via environment
env_tags = os.getenv('SPHINX_TAGS', [])
for tag in env_tags.split(','):
print("Adding Sphinx tag: %s" % tag.strip())
tags.add(tag.strip())
env_tags = os.getenv('SPHINX_TAGS')
if env_tags != None:
for tag in env_tags.split(','):
print("Adding Sphinx tag: %s" % tag.strip())
tags.add(tag.strip())
# Language / i18n
language = 'en'