diff options
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/conf.py | 4 | ||||
| -rw-r--r-- | docs/templates/layout.html | 2 |
2 files changed, 4 insertions, 2 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':[ diff --git a/docs/templates/layout.html b/docs/templates/layout.html index 8563f02af..21dab5eb4 100644 --- a/docs/templates/layout.html +++ b/docs/templates/layout.html @@ -9,7 +9,7 @@ {% if is_release %} <div class="wy-alert wy-alert-danger"> <p> - This is the v{{ release }} version of the MicroPython + This is the {{ release }} version of the MicroPython documentation. The <a href="/en/latest/{{ pagename }}.html">latest development version</a> of this page may be more current. </p> |