From 0ea9228e542a3074a0924c7f56c1d362c9f3be03 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Mon, 8 Jan 2024 19:32:06 +0100
Subject: [PATCH] Debug the switcher

---
 .docs/overrides/main.html | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.docs/overrides/main.html b/.docs/overrides/main.html
index 53b3c3176b..1fb4cb3353 100644
--- a/.docs/overrides/main.html
+++ b/.docs/overrides/main.html
@@ -11,8 +11,10 @@
     function getVersion() {
         const segments = location.pathname.split('/')
         if (segments.length === 5) {
+            console.log('version', segments[3], segments)
             return segments[3]
         } else {
+            console.log('version defaulted to 1.4')
             return '1.4'
         }
     }
-- 
GitLab