--- /dev/null
+#!/bin/sh -e
+
+# Update title skins based on the gif files contributed
+
+series="kai magnakai grandmaster neworder"
+for series in $series; do
+ if [ -d "png/ls/${series}" ] ; then
+ for file in png/ls/${series}/*png; do
+ if [ -e "$file" ] ; then
+ basefile=`basename $file | sed -e 's/.png//'`
+ scroll_png=$file
+ scroll_pdf="pdf/ls/${series}/${basefile}.pdf"
+ pdfdir=`dirname $scroll_pdf`
+ [ ! -e "$pdfdir" ] && mkdir -p "$pdfdir"
+ echo "Series $series - updating PDF chart $basefile with PNG version (in $pdfdir)"
+ convert "$scroll_png" "$scroll_pdf"
+ fi
+ done
+ fi
+done
--- /dev/null
+#!/bin/sh -e
+
+# Update title skins based on the gif files contributed
+
+for dir in eps/ls/*; do
+ series=`basename $dir`
+ scroll_eps="eps/ls/${series}/bearer.eps"
+ scroll_pdf="pdf/ls/${series}/bearer.pdf"
+ pdfdir=`dirname $scroll_pdf`
+ if [ -e "$scroll_eps" ] ; then
+ [ ! -e "$pdfdir" ] && mkdir -p "$pdfdir"
+ echo "Series $series - updating PDF title with EPS version (in $pdfdir)"
+ convert "$scroll_eps" "$scroll_pdf"
+ fi
+done
--- /dev/null
+#!/bin/sh -e
+
+# Update title skins based on the gif files contributed
+
+for dir in gif/ls/*; do
+ book=`basename $dir`
+ title_gif="gif/ls/${book}/skins/standard/title.gif"
+ title_png="png/ls/${book}/skins/standard/title.png"
+ if [ -e "$title_gif" ] ; then
+ echo "Book $book - updating PNG title with GIF version"
+ convert "$title_gif" "$title_png"
+ fi
+done