docs: use 'release branch' as the current version in versions menu

Change the versions menu so that the name of the current version shown
matches one of the items of available versions. The detailed version
number is still shown in the upper left corner of the page.

Author: marquiz

docs/_templates/layout.html

@@ -5,7 +5,7 @@
     <div class="rst-versions" data-toggle="rst-versions" role="note" aria-label="versions">
       <span class="rst-current-version" data-toggle="rst-current-version">
         <span class="fa fa-book"> GitHub Pages</span>
-        {{ version }}
+        {{ versions_menu_this_version }}
         <span class="fa fa-caret-down"></span>
       </span>
       <div class="rst-other-versions">

docs/conf.py

@@ -84,7 +84,9 @@
 
 # Versions to show in the version menu
 if getenv('VERSIONS_MENU'):
-    html_context = {'versions_menu': True}
+    html_context = {
+        'versions_menu': True,
+        'versions_menu_this_version': getenv('VERSIONS_MENU_THIS_VERSION', version)}
 
 # -- General configuration ---------------------------------------------------
 

docs/releases/conf.py

@@ -23,7 +23,9 @@
 # Versions to show in the version menu
 version = "all releases"
 if os.getenv('VERSIONS_MENU'):
-    html_context = {'versions_menu': True}
+    html_context = {
+        'versions_menu': True,
+        'versions_menu_this_version': version}
 
 
 # -- General configuration ---------------------------------------------------

scripts/build/update-gh-pages.sh

@@ -117,6 +117,7 @@ build_subdir=${build_subdir:-devel}
 echo "Updating site version subdir: '$build_subdir'"
 export SITE_BUILDDIR="$build_dir/$build_subdir"
 export VERSIONS_MENU=1
+export VERSIONS_MENU_THIS_VERSION=$build_subdir
 
 make html