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
+