From 5c881b9710064c26a40592bec61cf7d042d6d99e Mon Sep 17 00:00:00 2001
From: BodgeMaster <>
Date: Wed, 31 Jan 2024 20:38:40 +0100
Subject: [PATCH] deployment-script: log files to stderr as they are added

---
 deployment-script.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/deployment-script.sh b/deployment-script.sh
index a5d4aae..18d72bd 100755
--- a/deployment-script.sh
+++ b/deployment-script.sh
@@ -3,6 +3,7 @@ cp html_resources/index_template.html index.html
 
 function genlinks {
   for FILE in $(find . -maxdepth 1 -type f -name "??-*.html" | sort); do
+    echo "$FILE" >&2
     echo -ne "  <li><a href=\"$FILE\">\n"
     echo -n "    $(sed -e 's|^\./||;s/-.*//' <<< "$FILE") <span class="'"chapter">'
     grep -oe "<title>.*</title>" $FILE | sed -e 's/<title> //;s| </title>|</span>|'