From efcd631e8c8e1a7fe1181190b13aba441fe3c984 Mon Sep 17 00:00:00 2001 From: hategan Date: Wed, 21 Jan 2026 14:29:36 -0800 Subject: [PATCH] Fix web build 2 --- web/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/build.sh b/web/build.sh index da521010..897c1a31 100755 --- a/web/build.sh +++ b/web/build.sh @@ -14,7 +14,7 @@ if [ "$1" != "--quick" ]; then pip install -r requirements-docs.txt # RP has PSI/J as a dependency. However, this causes # two sets of executors to be installed. - pip uninstall psij-python + pip uninstall -y psij-python if [ "$1" == "--dev" ]; then make web-docs-dev