From 45463f4fe2b0a5e7641792deedd588a47e3b981b Mon Sep 17 00:00:00 2001
From: Jonatan Antoni <jonatan.antoni@arm.com>
Date: Tue, 5 Jul 2022 10:32:30 +0200
Subject: [PATCH] Enhanced version list

---
 version.js | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/version.js b/version.js
index 7461bfbb..c536bfdc 100644
--- a/version.js
+++ b/version.js
@@ -1,6 +1,6 @@
 const versions = {
-    "main": "v1.10.2-dev1 (main)",
-    "v1.10.1": "v1.10.1 (latest)" 
+    "main": "v1.10.2-dev1",
+    "latest": "v1.10.1"
 };
 
 var scripts = document.getElementsByTagName("script"),
@@ -26,6 +26,9 @@ function writeVersionDropdown() {
     document.write('  <div id="myDropdown" class="dropdown-content">'); 
     for(var version in versions) {
         var label = versions[version];
+        if (label != version) {
+            label += "("+version+")"
+        }
         document.write('    <a href="'+urlForVersion(docUrl, version)+'">'+label+'</a>');
     }
     document.write('  </div>');