lint.sh: check if sphinx-lint is installed

python · Sep 17, 2024 · 9ded212 · 9ded212
1 parent dc860d1
commit 9ded212
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/scripts/lint.sh b/scripts/lint.sh
@@ -8,6 +8,9 @@ set -xeu
 # Fail earlier if required variables are not set
 test -n ${PYDOC_LANGUAGE+x}
 
+# Fail earlier if sphinx-lint is not installed
+sphinx-lint --help >/dev/null
+
 rootdir=$(realpath $(dirname $0)/..)
 
 cd "$rootdir"