From 24058282fd2138a110e700fb124064d7b85229d2 Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Sun, 8 Dec 2024 11:39:53 +0100
Subject: [PATCH] What does exist

---
 .github/jobs/baseinstall.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
index 9569507070..67101f5296 100755
--- a/.github/jobs/baseinstall.sh
+++ b/.github/jobs/baseinstall.sh
@@ -54,7 +54,9 @@ else
       --enable-judgehost-build=no | tee "$ARTIFACTS"/configure.txt
     make domserver
     make install-domserver
-    mkdir -p /opt/domjudge/domserver/webapp/public/doc/logos
+    ls -l /opt/domjudge/domserver/webapp/public
+    ls -l /opt/domjudge/domserver/webapp/public/doc
+    ls -l /opt/domjudge/domserver/webapp/public/doc/logos
     cp webapp/public/doc/logos/DOMjudgelogo.pdf /opt/domjudge/domserver/webapp/public/doc/logos/
     find /opt/domjudge/domserver -name DOMjudgelogo.pdf
 fi