From ae97a3d4478ecd38a2042674eb73ec53006adbf0 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Thu, 11 Apr 2024 13:43:14 +0200
Subject: [PATCH] Bump

---
 build-docs.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build-docs.sh b/build-docs.sh
index 52e43eb54f..fba2afc766 100644
--- a/build-docs.sh
+++ b/build-docs.sh
@@ -88,6 +88,7 @@ done
 
 # finalization
 echo "==================================================="
-echo "Moving redirect to /"
+echo "Moving HTML redirect and JSON versions to /"
 cp ./final/${APP_VERSION}/redirect.html ./final/index.html
+cp ./final/${APP_VERSION}/versions.json ./final/versions.json
 echo "==================================================="
-- 
GitLab