From 7e52f70305250fd0bfe92f283519bb0b866dcb2e Mon Sep 17 00:00:00 2001
From: Pier Carlo Chiodi <pierky@pierky.com>
Date: Sun, 4 Dec 2022 16:50:17 +0100
Subject: [PATCH] Avoid wasting time with docs build

---
 utils/build_doc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/utils/build_doc b/utils/build_doc
index d74d8892..db60391a 100755
--- 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`"