Avoid wasting time with docs build

pierky · Dec 4, 2022 · 7e52f70 · 7e52f70
1 parent eb116dc
commit 7e52f70
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/utils/build_doc b/utils/build_doc
@@ -7,6 +7,11 @@ if [ ! -e "setup.py" ]; then
 	exit
 fi
 
+if [ -z "${SECRET_PEERINGDB_API_KEY}" ]; then
+    echo "SECRET_PEERINGDB_API_KEY must be set, but it isn't."
+    exit
+fi
+
 export PYTHONPATH="`pwd`"
 ROOT="`pwd`"