commit 5c004cf2dcdeff814f6be256294dc1261e21dc74
parent db56c8d58950e67f5bb30c46ad84bbacea82ba41
Author: Christian Grothoff <christian@grothoff.org>
Date: Sun, 14 Jan 2024 15:06:58 +0100
add converter
Diffstat:
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git 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;