From cedbe4dc10a87f33c9e18aba1d5d67e6acf63885 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Fri, 8 Nov 2019 07:10:20 +0100
Subject: [PATCH] add 404

---
 .ci/deploy.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.ci/deploy.sh b/.ci/deploy.sh
index 2bbc4190..61c0e4c7 100644
--- a/.ci/deploy.sh
+++ b/.ci/deploy.sh
@@ -26,3 +26,6 @@ git reset --hard origin/$CI_COMMIT_REF_NAME
 
 # set the auto redirection
 cp .ci/.autoRedirect public/index.html
+
+# set the 404
+cp 404.html public/.
-- 
GitLab