+# Convert svg file to png with a target width and height
+# width and height are derived from the directory name
+# of the target. Width and height must be equal
+
+# Arg1: Source svg file
+# Arg2: Filename for copyright notice
+# Arg3: Target png file
+
+# Extract the icon width from the target path e.g.
+# src/ui/gui/icons/48x48/actions/file-save.png
+# should result in a width of 48
+stripprefix=${3#src*icons\/}
+width=${stripprefix%%x*}
+
+# If no width can be extracted from the destination path
+# then take the natural width by setting width to 0
+case "$width" in
+ [0-9][0-9]|[0-9][0-9][0-9]) ;;
+ *) width="0";;
+esac
+
+echo "Converting" $1 "to" $3 "size" $width"x"$width
+