--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/svg-to-png.sh	Sat Mar 05 12:42:14 2022 +0200
@@ -0,0 +1,8 @@
+#!/bin/bash
+mkdir --parents icons
+for svgfile in $(find icons_svg -name '*.svg')
+do
+	pngfile="icons/$(basename ${svgfile%.svg}.png)"
+	echo "$svgfile => $pngfile"
+	convert -background none "${svgfile}" "${pngfile}"
+done