X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fsvg2png;h=3ba9d6ac9ee0fb82291795e4005d2298ebe23853;hb=6d7eed1c12693a3688a3c16f634a5b816660085b;hp=d00e10952135c44bc158588e6a446da3da172c95;hpb=105d9f01f4f93cf9ff26ad9f6d8924ed69f79689;p=pspp

diff --git a/build-aux/svg2png b/build-aux/svg2png
index d00e109521..3ba9d6ac9e 100755
--- a/build-aux/svg2png
+++ b/build-aux/svg2png
@@ -14,19 +14,9 @@
 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
-
 comment=`cat $2`
-gimp -i -b "\
-(let* ((image (car (file-svg-load 1 \"$1\" \"$1\" 90 $width $width 0 ))))
-      (gimp-image-attach-parasite image '(\"gimp-comment\" 0 \"$comment\"))
-      (gimp-file-save 1 image (car (gimp-image-get-active-drawable image))
-		      \"$3\" \"$3\"))
-    (gimp-quit 1)"
+case $width in
+    [0-9][0-9] | [0-9][0-9][0-9]) widthoption="--width=$width --height=$width" ;;
+    *) widthoption= ;;
+esac
+rsvg-convert $widthoption "$1" | ${PYTHON3:-python3} build-aux/png-add-comment Comment "$comment" > "$3"