We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent cc9ad12 commit 138ab77Copy full SHA for 138ab77
docker/domserver/build.sh
@@ -1,9 +1,5 @@
1
#!/bin/sh -eu
2
3
-# Use venv to use latest Sphinx. 6.1.0 or higher is required to build DOMjudge docs.
4
-# shellcheck source=/dev/null
5
-. /venv/bin/activate
6
-
7
cd /domjudge-src/domjudge*
8
chown -R domjudge: .
9
# If we used a local source tarball, it might not have been built yet
@@ -30,4 +26,7 @@ then
30
26
fi
31
27
32
28
sudo -u domjudge sh -c '. /venv/bin/activate && make docs'
29
+# Use Python venv to use the latest Sphinx to build DOMjudge docs.
+# shellcheck source=/dev/null
+. /venv/bin/activate
33
make install-docs
0 commit comments