diff options
author | Holger Levsen <holger@layer-acht.org> | 2012-12-16 14:21:07 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2012-12-16 14:21:07 +0100 |
commit | 0cd6551959b9ad6b9cb9ffc35edf5397dfa76e8e (patch) | |
tree | 6598cc4f00996ede9f9cb0f306533f1f47fcbb6b /bin | |
parent | 77d459730682ab1ac41584d40fa3ed736cf72959 (diff) | |
download | jenkins.debian.net-0cd6551959b9ad6b9cb9ffc35edf5397dfa76e8e.tar.xz |
fixup: use png for screenshots
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/g-i-installation.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index b5dbb4d4..64a0232f 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -82,6 +82,7 @@ cleanup_all() { # convert to png (less space and better supported in browsers) for i in *.ppm ; do convert $i ${i%.ppm}.png + rm $i done fi |