diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-19 19:56:15 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-19 19:56:15 +0100 |
| commit | 1542c122b3672fe83e027411ad2445772e2d0ed3 (patch) | |
| tree | e535bc621bd7ffa9d5ce89e0d495df5d1c4ab6fd /app/help/mkpngbutt | |
| parent | 773810e6583142d7d15263e6481c42aebed6d7f1 (diff) | |
| parent | d1a8285f818eb7e5c3d6a05709ea21a808490b8c (diff) | |
Update upstream source from tag 'upstream/5.1.0'
Update to upstream version '5.1.0'
with Debian dir 93ca74b8b4602fce4c9c7740e0cfdde25f086673
Diffstat (limited to 'app/help/mkpngbutt')
| -rwxr-xr-x | app/help/mkpngbutt | 21 |
1 files changed, 0 insertions, 21 deletions
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 |