5 files changed, 0 insertions, 247 deletions
diff --git a/repos/xorg/tango-icon-theme-extras/.checksum b/repos/xorg/tango-icon-theme-extras/.checksum
deleted file mode 100644
index 43177193..00000000
--- a/repos/xorg/tango-icon-theme-extras/.checksum
+++ /dev/null
@@ -1,2 +0,0 @@
-1a476c118f4dce395e13e96ae969f93727cf94c47583efd460e08a2800ac2e52  rsvg.patch
-0590b7fee08c0c735d0a54f3a033c1e4350992dbe154b83a7533b8fae93dc1be  tango-icon-theme-extras-0.1.0.tar.gz
diff --git a/repos/xorg/tango-icon-theme-extras/.files b/repos/xorg/tango-icon-theme-extras/.files
deleted file mode 100644
index fe57b98a..00000000
--- a/repos/xorg/tango-icon-theme-extras/.files
+++ /dev/null
@@ -1,184 +0,0 @@
-drwxr-xr-x root/root    usr/
-drwxr-xr-x root/root    usr/share/
-drwxr-xr-x root/root    usr/share/icons/
-drwxr-xr-x root/root    usr/share/icons/Tango/
-drwxr-xr-x root/root    usr/share/icons/Tango/128x128/
-drwxr-xr-x root/root    usr/share/icons/Tango/128x128/devices/
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-dell-dj-pocket.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-U2-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-U2-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-mini-blue.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-mini-gold.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-mini-green.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-mini-pink.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-mini-silver.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-nano-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-nano-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-shuffle.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-standard-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-standard-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-video-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-ipod-video-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/128x128/devices/multimedia-player-motorola-rokr.png
-drwxr-xr-x root/root    usr/share/icons/Tango/16x16/
-drwxr-xr-x root/root    usr/share/icons/Tango/16x16/devices/
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-dell-dj-pocket.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-U2-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-U2-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-mini-blue.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-mini-gold.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-mini-green.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-mini-pink.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-mini-silver.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-nano-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-nano-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-shuffle.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-standard-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-standard-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-video-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-ipod-video-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/16x16/devices/multimedia-player-motorola-rokr.png
-drwxr-xr-x root/root    usr/share/icons/Tango/22x22/
-drwxr-xr-x root/root    usr/share/icons/Tango/22x22/devices/
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-dell-dj-pocket.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-U2-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-U2-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-mini-blue.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-mini-gold.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-mini-green.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-mini-pink.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-mini-silver.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-nano-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-nano-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-shuffle.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-standard-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-standard-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-video-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-ipod-video-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/22x22/devices/multimedia-player-motorola-rokr.png
-drwxr-xr-x root/root    usr/share/icons/Tango/24x24/
-drwxr-xr-x root/root    usr/share/icons/Tango/24x24/devices/
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-dell-dj-pocket.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-U2-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-U2-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-mini-blue.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-mini-gold.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-mini-green.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-mini-pink.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-mini-silver.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-nano-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-nano-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-shuffle.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-standard-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-standard-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-video-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-ipod-video-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/24x24/devices/multimedia-player-motorola-rokr.png
-drwxr-xr-x root/root    usr/share/icons/Tango/32x32/
-drwxr-xr-x root/root    usr/share/icons/Tango/32x32/devices/
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-dell-dj-pocket.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-U2-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-U2-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-mini-blue.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-mini-gold.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-mini-green.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-mini-pink.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-mini-silver.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-nano-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-nano-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-shuffle.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-standard-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-standard-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-video-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-ipod-video-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/32x32/devices/multimedia-player-motorola-rokr.png
-drwxr-xr-x root/root    usr/share/icons/Tango/48x48/
-drwxr-xr-x root/root    usr/share/icons/Tango/48x48/devices/
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-dell-dj-pocket.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-U2-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-U2-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-mini-blue.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-mini-gold.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-mini-green.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-mini-pink.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-mini-silver.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-nano-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-nano-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-shuffle.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-standard-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-standard-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-video-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-ipod-video-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/48x48/devices/multimedia-player-motorola-rokr.png
-drwxr-xr-x root/root    usr/share/icons/Tango/64x64/
-drwxr-xr-x root/root    usr/share/icons/Tango/64x64/devices/
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-dell-dj-pocket.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-U2-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-U2-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-mini-blue.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-mini-gold.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-mini-green.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-mini-pink.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-mini-silver.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-nano-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-nano-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-shuffle.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-standard-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-standard-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-video-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-ipod-video-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/64x64/devices/multimedia-player-motorola-rokr.png
-drwxr-xr-x root/root    usr/share/icons/Tango/72x72/
-drwxr-xr-x root/root    usr/share/icons/Tango/72x72/devices/
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-dell-dj-pocket.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-U2-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-U2-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-mini-blue.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-mini-gold.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-mini-green.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-mini-pink.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-mini-silver.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-nano-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-nano-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-shuffle.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-standard-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-standard-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-video-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-ipod-video-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/72x72/devices/multimedia-player-motorola-rokr.png
-drwxr-xr-x root/root    usr/share/icons/Tango/96x96/
-drwxr-xr-x root/root    usr/share/icons/Tango/96x96/devices/
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-dell-dj-pocket.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-U2-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-U2-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-mini-blue.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-mini-gold.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-mini-green.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-mini-pink.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-mini-silver.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-nano-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-nano-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-shuffle.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-standard-color.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-standard-monochrome.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-video-black.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-ipod-video-white.png
--rw-r--r-- root/root    usr/share/icons/Tango/96x96/devices/multimedia-player-motorola-rokr.png
-drwxr-xr-x root/root    usr/share/icons/Tango/scalable/
-drwxr-xr-x root/root    usr/share/icons/Tango/scalable/devices/
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-dell-dj-pocket.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-U2-color.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-U2-monochrome.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-mini-blue.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-mini-gold.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-mini-green.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-mini-pink.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-mini-silver.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-nano-black.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-nano-white.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-shuffle.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-standard-color.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-standard-monochrome.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-video-black.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-ipod-video-white.svg
--rw-r--r-- root/root    usr/share/icons/Tango/scalable/devices/multimedia-player-motorola-rokr.svg
diff --git a/repos/xorg/tango-icon-theme-extras/abuild b/repos/xorg/tango-icon-theme-extras/abuild
deleted file mode 100644
index 895583f5..00000000
--- a/repos/xorg/tango-icon-theme-extras/abuild
+++ /dev/null
@@ -1,11 +0,0 @@
-name=tango-icon-theme-extras
-version=0.1.0
-release=1
-source="http://tango.freedesktop.org/releases/$name-$version.tar.gz
-	rsvg.patch"
-patch_opt="-Np0"
-build_opt="--enable-png-creation"
-
-prebuild() {
-	autoreconf -fi
-}
diff --git a/repos/xorg/tango-icon-theme-extras/depends b/repos/xorg/tango-icon-theme-extras/depends
deleted file mode 100644
index 41786497..00000000
--- a/repos/xorg/tango-icon-theme-extras/depends
+++ /dev/null
@@ -1 +0,0 @@
-tango-icon-theme
diff --git a/repos/xorg/tango-icon-theme-extras/rsvg.patch b/repos/xorg/tango-icon-theme-extras/rsvg.patch
deleted file mode 100644
index 1644c191..00000000
--- a/repos/xorg/tango-icon-theme-extras/rsvg.patch
+++ /dev/null
@@ -1,49 +0,0 @@
---- configure.ac	2006-01-10 23:22:31.000000000 +0100
-+++ configure.ac.patched	2016-02-11 12:30:25.093357000 +0100
-@@ -55,7 +55,7 @@
-    fi
- fi
- 
--# Check for rsvg or ksvgtopng for creating large scale bitmaps from svg
-+# Check for imagemagick for creating large scale bitmaps from svg
- AC_ARG_ENABLE(png-creation,
-    AC_HELP_STRING([--enable-png-creation],
-                    [enable creating png images from svg [default=disabled]]),
-@@ -65,17 +65,13 @@
- SVGCONVERT=""
- AC_MSG_CHECKING([SVG to PNG conversion method])
- if test "x$enable_large_bitmaps" = "xyes"; then
--   PKG_CHECK_EXISTS([librsvg-2.0 >= 2.12.3],
-+   PKG_CHECK_EXISTS([imagemagick],
-                     [enable_large_bitmaps=yes], [enable_large_bitmaps=no])
--   if test "x$enable_large_bitmaps" = "xyes"; then
--      svgconvert_prog="rsvg"
--   else
--      svgconvert_prog="ksvgtopng"
--   fi
-+   svgconvert_prog="convert"
-    AC_MSG_RESULT([$svgconvert_prog])
-    AC_PATH_PROG(SVGCONVERT, $svgconvert_prog)
-    if test -z "$SVGCONVERT"; then
--      AC_MSG_ERROR([You need librsvg >= 2.12.3 or ksvgtopng installed to create large scale bitmaps])
-+      AC_MSG_ERROR([You need imagemagick installed to create large scale bitmaps])
-    else
-       enable_large_bitmaps=yes
-    fi
---- svg2png.sh.in	2006-01-10 23:22:31.000000000 +0100
-+++ svg2png.sh.in.patched	2016-02-11 12:36:00.153362000 +0100
-@@ -8,11 +8,8 @@
- fi
- 
- ICONNAME=`echo ${3} | sed -e "s/.svg//"`
--if test `basename $SVGCONVERT` = "rsvg"; then
--    OPTIONS="-w ${1} -h ${1}"
--else
--    OPTIONS="${1} ${1}"
--fi
- 
-+OPTIONS="-background none"
-+OUTPUT="-resize ${1}x${1}"
- 
--${SVGCONVERT} ${OPTIONS} ${3} ${2}/${ICONNAME}.png
-+${SVGCONVERT} ${OPTIONS} ${3} ${OUTPUT} ${2}/${ICONNAME}.png