Update

Former-commit-id: 6f8698e345
2026-08-21 10:45:49 +02:00 · 2024-06-17 20:37:09 +02:00
parent b79d37ad06
commit 1885087e56
10 changed files with 73 additions and 6 deletions
@@ -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