From fe935e5ac78cf4a4c28caf8e0660338002ff5fef Mon Sep 17 00:00:00 2001 From: Daniel Micay Date: Sat, 15 Jul 2023 13:27:52 -0400 Subject: [PATCH] drop file extension from generate-feed.py --- generate-feed.py => generate-feed | 0 process-static | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename generate-feed.py => generate-feed (100%) diff --git a/generate-feed.py b/generate-feed similarity index 100% rename from generate-feed.py rename to generate-feed diff --git a/process-static b/process-static index 7979c854..cf6355e7 100755 --- a/process-static +++ b/process-static @@ -86,7 +86,7 @@ find static-tmp -name '*.html' -exec html-minifier-terser --collapse-whitespace --remove-redundant-attributes --remove-script-type-attributes \ --remove-style-link-type-attributes --sort-attributes --sort-class-name {} -o {} \; -./generate-feed.py +./generate-feed for file in static-tmp/**/*.@(atom|xml); do xmllint --noblanks "$file" --output "$file"