Fix shellcheck

tossy310 · vmcj · commit cc9ad1211315 · 2023-09-21T18:13:11.000+02:00
diff --git a/docker/domserver/build.sh b/docker/domserver/build.sh
@@ -1,6 +1,7 @@
 #!/bin/sh -eu
 
 # Use venv to use latest Sphinx. 6.1.0 or higher is required to build DOMjudge docs.
+# shellcheck source=/dev/null
 . /venv/bin/activate
 
 cd /domjudge-src/domjudge*
