Fixup

DOMjudge · Dec 8, 2024 · eb3047d · eb3047d
1 parent 9a40be1
commit eb3047d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
@@ -54,7 +54,7 @@ else
       --enable-judgehost-build=no | tee "$ARTIFACTS"/configure.txt
     make domserver
     make install-domserver
-    cp -r doc /opt/domjudge/domserver/public/
+    cp -r doc /opt/domjudge/domserver/public/doc
     find /opt/domjudge/domserver -name DOMjudgelogo.pdf
 fi
 section_end