From 0755711cc99e8c65937ad4ce783131eb854d1b2a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?P=C3=A9ter=20Kir=C3=A1ly?= <pkiraly@gwdg.de>
Date: Tue, 30 Apr 2024 20:55:07 +0200
Subject: [PATCH] Add configuration file to ./qa-catalogue

---
 qa-catalogue | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/qa-catalogue b/qa-catalogue
index 29f7420e..cdc60e4a 100755
--- a/qa-catalogue
+++ b/qa-catalogue
@@ -95,7 +95,7 @@ CONFIG_FILE:              ${CONFIG_FILE}
 EOF
 
 # don't proceed if web configuration shall be updated but cannot do so
-if [[ ! -z "$K10" ]]; then
+if [[ ! -z "$WEB_CONFIG" ]]; then
   if [[ ! -f "$WEB_CONFIG" ]]; then
     echo "web configuration file missing: $WEB_CONFIG" >&2
     exit 1