diff --git a/docs/_templates/page.html b/docs/_templates/page.html
index 713f584968..21b5b1fcc8 100644
--- a/docs/_templates/page.html
+++ b/docs/_templates/page.html
@@ -20,10 +20,11 @@ function add_version_selector()
.then(res => res.text())
.then(text => {
const versions = text.split("\n").filter(version => version.trim().length > 0);
- p = document.getElementById("rtd-search-form").parentElement;
+ let p = document.getElementById("rtd-search-form").parentElement;
+ const versionName = (version.indexOf(".") != -1) ? version : (version + " (latest minor)");
p.innerHTML = `
` + p.innerHTML;
});
}