es/update-titles.sh

   1 #!/bin/sh -e
   2
   3 # Update title skins based on the gif files contributed
   4
   5 for dir in gif/ls/*; do
   6     book=`basename $dir`
   7     title_gif="gif/ls/${book}/skins/standard/title.gif"
   8     title_png="png/ls/${book}/skins/standard/title.png"
   9     if [ -e "$title_gif" ] ; then
  10         echo "Book $book - updating PNG title with GIF version"
  11         convert "$title_gif" "$title_png"
  12     fi
  13 done