File indexing completed on 2024-05-12 16:41:02
0001 #!/bin/sh 0002 version="beta 5" 0003 0004 convert kile_splash.png -fill red -style Normal -pointsize 30 -gravity "Center" -draw "text 40,-24 '$version'" "kile_splash_$version.png"
File indexing completed on 2024-05-12 16:41:02
0001 #!/bin/sh 0002 version="beta 5" 0003 0004 convert kile_splash.png -fill red -style Normal -pointsize 30 -gravity "Center" -draw "text 40,-24 '$version'" "kile_splash_$version.png"