Fixup

DOMjudge · Dec 8, 2024 · e74e87b · e74e87b
1 parent 55c6362
commit e74e87b
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 ${DIR}/doc /opt/domjudge/domserver/
+    cp -r doc /opt/domjudge/domserver/
 fi
 section_end