From 916bb5b995f1347cb736475982159f2c9bda8268 Mon Sep 17 00:00:00 2001 From: Taylan Kammer Date: Thu, 20 Aug 2026 13:54:13 +0200 Subject: Improve update-html.sh --- update-html.sh | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/update-html.sh b/update-html.sh index 9c74b9c..448c853 100755 --- a/update-html.sh +++ b/update-html.sh @@ -16,9 +16,15 @@ md2ht() { if ! [ -f "$src" ] then echo >&2 "File not found: $src" - continue + return + fi + if [ "$dst" -nt "$src" ] + then + echo >&2 "[fresh] $src -> $dst" + return + else + echo >&2 "[updating] $src -> $dst" fi - echo "$src -> $dst" title=$(sed 's/# //; s/&/\\&/; s_/_\\/_; q' "$src") if [ "$src" = html/index.md ] # It's the root then -- cgit v1.2.3