From 91992f2e2b9d2930063989dc37f883bf5dc013a8 Mon Sep 17 00:00:00 2001
From: Vladimir Kotal <vlada@kotalovi.cz>
Date: Sun, 3 Mar 2024 21:36:11 +0100
Subject: [PATCH] check for GRIP_PASSWORD once again

---
 dev/html.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/dev/html.sh b/dev/html.sh
index d6bd0700..8825d6e9 100755
--- a/dev/html.sh
+++ b/dev/html.sh
@@ -11,6 +11,11 @@
 set -e
 set -x
 
+if [[ -z $GRIP_PASSWORD ]]; then
+	echo "GRIP_PASSWORD must be non-empty"
+	exit 1
+fi
+
 cd gh-pages
 
 # Convert Markdown to HTML.