From 44a8c52b9d99a93e9766a21c791dcd15b988c874 Mon Sep 17 00:00:00 2001
From: hategan <mhategan@gmail.com>
Date: Wed, 21 Jan 2026 14:14:00 -0800
Subject: [PATCH] Fix web build

---
 web/build.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/web/build.sh b/web/build.sh
index 13257a39..da521010 100755
--- a/web/build.sh
+++ b/web/build.sh
@@ -12,6 +12,9 @@ if [ "$1" != "--quick" ]; then
 	mkdir -p web-build
 
 	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
 
 	if [ "$1" == "--dev" ]; then
 	    make web-docs-dev