diff options
Diffstat (limited to 'docs/conf.py')
| -rwxr-xr-x | docs/conf.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 0dbbfe0f7..49ddd22be 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -21,10 +21,12 @@ import os # documentation root, use os.path.abspath to make it absolute, like shown here. sys.path.insert(0, os.path.abspath('.')) -# The members of the html_context dict are available inside topindex.html +# The MICROPY_VERSION env var should be "vX.Y.Z" (or unset). micropy_version = os.getenv('MICROPY_VERSION') or 'latest' micropy_all_versions = (os.getenv('MICROPY_ALL_VERSIONS') or 'latest').split(',') url_pattern = '%s/en/%%s' % (os.getenv('MICROPY_URL_PREFIX') or '/',) + +# The members of the html_context dict are available inside topindex.html html_context = { 'cur_version':micropy_version, 'all_versions':[ |