2012-03-04 12:39:12 +00:00
|
|
|
#!/bin/bash
|
|
|
|
#
|
2013-02-22 01:09:37 +00:00
|
|
|
# Make graphics required for the website but not for the book.
|
2012-03-04 12:39:12 +00:00
|
|
|
# They go into web/<book>.
|
|
|
|
#
|
|
|
|
|
|
|
|
if [ $# != 1 ]; then
|
2013-02-22 01:09:37 +00:00
|
|
|
echo "Usage: makeWebGraphics.sh <book dir name>"
|
2012-03-04 12:39:12 +00:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
dir=`pwd`
|
|
|
|
|
|
|
|
booke=$dir/$1
|
|
|
|
builddir=$dir/web/$1
|
|
|
|
graphicsdir=$dir/graphics/$1
|
|
|
|
|
|
|
|
mkdir -p $builddir
|
|
|
|
|
2013-02-22 01:09:37 +00:00
|
|
|
# Now, for each tune, make the main tune and tune first line bitmaps.
|
|
|
|
# Do this to temp files and rename into place to make updates as
|
|
|
|
# atomic as possible.
|
2012-03-04 12:39:12 +00:00
|
|
|
find $booke -name "*.abc" | sort |
|
|
|
|
while read filename
|
|
|
|
do
|
|
|
|
name=`basename $filename .abc`
|
2012-03-05 09:33:07 +00:00
|
|
|
tmpname=${name}.tmp
|
2013-02-10 18:27:29 +00:00
|
|
|
convert -density 96 $graphicsdir/${name}.eps $builddir/${tmpname}.png
|
2013-02-17 00:27:07 +00:00
|
|
|
convert -density 96 $graphicsdir/firstline-${name}.eps $builddir/firstline-${tmpname}.png
|
2012-03-04 12:39:12 +00:00
|
|
|
|
2013-02-10 18:27:29 +00:00
|
|
|
mv $builddir/${tmpname}.png $builddir/${name}.png
|
2013-02-17 00:27:07 +00:00
|
|
|
mv $builddir/firstline-${tmpname}.png $builddir/firstline-${name}.png
|
2012-03-04 12:39:12 +00:00
|
|
|
done
|