From 55c6362bd1c971749e1129cd14b14fde3e698978 Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Sun, 8 Dec 2024 00:37:59 +0100
Subject: [PATCH] Store the logo as we use it in tests

---
 .github/jobs/baseinstall.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
index f19ee5fc4d..9403a49124 100755
--- a/.github/jobs/baseinstall.sh
+++ b/.github/jobs/baseinstall.sh
@@ -54,6 +54,7 @@ else
       --enable-judgehost-build=no | tee "$ARTIFACTS"/configure.txt
     make domserver
     make install-domserver
+    cp -r ${DIR}/doc /opt/domjudge/domserver/
 fi
 section_end