From 07c3b8e5e5e75a91c7282f5c985177a737a341d0 Mon Sep 17 00:00:00 2001
From: Kai Lauterbach <klaute@gmx.de>
Date: Mon, 22 May 2023 16:20:38 +0200
Subject: [PATCH] Added a comment with code which could run html-minifier

---
 tools/html_gen_files.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/tools/html_gen_files.sh b/tools/html_gen_files.sh
index f6c74c6..a354521 100755
--- a/tools/html_gen_files.sh
+++ b/tools/html_gen_files.sh
@@ -22,3 +22,11 @@ bash ../../tools/html2string.sh ../html/top.js > top.js
 bash ../../tools/html2string.sh ../html/bottom.js > bottom.js
 bash ../../tools/html2string.sh ../html/style.css > style.css
 
+#for file in *"_tmp"; do
+#  if [[ -f "$file" ]]; then
+#    new_file="${file%_tmp}"
+#    html-minifier --collapse-whitespace --remove-comments --remove-optional-tags --remove-redundant-attributes --remove-script-type-attributes --remove-tag-whitespace --use-short-doctype --minify-css true "$file" > "$new_file"
+#    rm "$file"
+#  fi
+#done
+