From 5c004cf2dcdeff814f6be256294dc1261e21dc74 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 14 Jan 2024 15:06:58 +0100
Subject: add converter

---
 contrib/convert-svgs-to-pngs.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/contrib/convert-svgs-to-pngs.sh b/contrib/convert-svgs-to-pngs.sh
index 4a37feb..6e65222 100755
--- a/contrib/convert-svgs-to-pngs.sh
+++ b/contrib/convert-svgs-to-pngs.sh
@@ -53,7 +53,7 @@ do
   mkdir -p "${dir}/png"
 
   # Convert them
-  for svg in "${dir}/svg/"*; 
+  for svg in "${dir}/svg/"*;
   do
     png=$(sed 's/svg/png/g' <<< "$svg");
     echo "Converting $svg to $png with $CONVERSION_TOOL";
@@ -67,6 +67,8 @@ do
     else
       convertSvgToPng "$svg" "$png";
     fi;
+    pngng -s1 < "$png" > "${png}".compact
+    mv "${png}".compact "$png"
   done;
 
   wait;
-- 
cgit v1.2.3