Update

Former-commit-id: 6f8698e345
2026-04-02 11:12:09 +02:00 · 2024-06-17 20:37:09 +02:00
parent 18c7618ebf
commit 65d6c2f28f
10 changed files with 73 additions and 6 deletions
--- a/docs/scripts/compress_src_png.sh
+++ b/docs/scripts/compress_src_png.sh
@@ -4,6 +4,6 @@

 [[ -d "./docs" ]] || (echo "Folder ./docs not found" && exit 1)

-for file in ./docs/src/*.png; do
+for file in ./docs/src/*/*.png; do
  optipng "$file"
 done