es/update-scrolls.sh

   1 #!/bin/sh -e
   2
   3 # Update title skins based on the gif files contributed
   4
   5 for dir in eps/ls/*; do
   6     series=`basename $dir`
   7     scroll_eps="eps/ls/${series}/bearer.eps"
   8     scroll_pdf="pdf/ls/${series}/bearer.pdf"
   9     pdfdir=`dirname $scroll_pdf`
  10     if [ -e "$scroll_eps" ] ; then
  11         [ ! -e "$pdfdir" ] && mkdir -p "$pdfdir"
  12         echo "Series $series - updating PDF title with EPS version (in $pdfdir)"
  13         convert "$scroll_eps" "$scroll_pdf"
  14     fi
  15 done