From 138ab77b5f32b27458b4170f6b1d7eafcda6b792 Mon Sep 17 00:00:00 2001 From: Hiroki Sato Date: Thu, 21 Sep 2023 23:58:18 +0900 Subject: [PATCH] Move venv activate line to make it clear what needs it --- docker/domserver/build.sh | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/docker/domserver/build.sh b/docker/domserver/build.sh index 418d9f9a..cfd41179 100755 --- a/docker/domserver/build.sh +++ b/docker/domserver/build.sh @@ -1,9 +1,5 @@ #!/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* chown -R domjudge: . # If we used a local source tarball, it might not have been built yet @@ -30,4 +26,7 @@ then fi sudo -u domjudge sh -c '. /venv/bin/activate && make docs' +# Use Python venv to use the latest Sphinx to build DOMjudge docs. +# shellcheck source=/dev/null +. /venv/bin/activate make install-docs