From d1a8285f818eb7e5c3d6a05709ea21a808490b8c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Mon, 19 Mar 2018 19:55:58 +0100 Subject: New upstream version 5.1.0 --- app/help/mkpngbutt | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100755 app/help/mkpngbutt (limited to 'app/help/mkpngbutt') diff --git a/app/help/mkpngbutt b/app/help/mkpngbutt deleted file mode 100755 index 0b77831..0000000 --- a/app/help/mkpngbutt +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/sh - - -NAME=$1 -shift -FILES="" -for F in $* ; do - FILES="${FILES} ../bin/$F.xpm" -done -#echo ${NAME} - -(./mkxpmbutt ${NAME} ${FILES} | convert +compress XPM:- PNG:temp.png) 2>&1 -#(./mkxpmbutt ${NAME} ${FILES} | convert +compress -transparency '#111' XPM:- PNG:temp.png) 2>&1 -#(./mkxpmbutt ${NAME} ${FILES} | xpmtoppm | pnmtopng -force > temp.png) 2>&1 -#(mkxpmbutt ${NAME} ${FILES} | convert -transparency '#111' XPM:- PNG:temp.png) 2>&1 -if cmp -s temp.png png.d/${NAME}.png ; then - rm temp.png -else - echo updating ${NAME}.png - mv temp.png png.d/${NAME}.png -fi -- cgit v1.2.3