From b062915cc06242951aa99ed835b64f7160781815 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Thu, 11 Apr 2024 13:30:17 +0200
Subject: [PATCH] Added redirect

---
 build-docs.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-docs.sh b/build-docs.sh
index a38121fceb..52e43eb54f 100644
--- a/build-docs.sh
+++ b/build-docs.sh
@@ -88,6 +88,6 @@ done
 
 # finalization
 echo "==================================================="
-echo "Moving default version $APP_VERSION docs to /"
-cp -r ./final/${APP_VERSION}/* ./final/
+echo "Moving redirect to /"
+cp ./final/${APP_VERSION}/redirect.html ./final/index.html
 echo "==================================================="
-- 
GitLab