diff --git a/docs/theme/docker/layout.html b/docs/theme/docker/layout.html index e415e97235..193df7447f 100755 --- a/docs/theme/docker/layout.html +++ b/docs/theme/docker/layout.html @@ -13,6 +13,12 @@ {%- set url_root = pathto('', 1) %} {%- if url_root == '#' %}{% set url_root = '' %}{% endif %} + {%- if current_version == 'latest' %} + {% set github_tag = 'master' %} + {% else %} + {% set github_tag = current_version %} + {% endif %} +