From 4e7a0c19668f174f4cfa0bf21785f6d37e3e84cf Mon Sep 17 00:00:00 2001
From: milovann <mil01@free.fr>
Date: Tue, 3 Dec 2024 22:41:16 +0100
Subject: [PATCH] workflow

---
 scripts/web.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/scripts/web.sh b/scripts/web.sh
index 65770ab..642e425 100755
--- a/scripts/web.sh
+++ b/scripts/web.sh
@@ -5,6 +5,9 @@ filename=$(basename -- "$file")
 extension="${filename##*.}"
 filename="${filename%.*}"
 
-#echo "making $filename.html"
 
-pandoc ../pages/$filename.md -t html > ../dist/$filename.html
+if [[ -f ../pages/$filename.md ]]
+then
+	echo "making $filename.html"
+	pandoc ../pages/$filename.md -t html > ../dist/$filename.html
+fi