view makeWebGraphics.sh @ 257:a3c356207253

Add licence note to website.
author Jim Hague <jim.hague@acm.org>
date Fri, 21 Jun 2013 10:12:24 +0100
parents 0ef955669a9a
children 77372a0166fe
line wrap: on
line source

#!/bin/bash
#
# Make graphics required for the website but not for the book.
# They go into web/<book>.
#

if [ $# != 1 ]; then
    echo "Usage: makeWebGraphics.sh <book dir name>"
    exit 1
fi

dir=`pwd`

booke=$dir/$1
builddir=$dir/web/$1
graphicsdir=$dir/graphics/$1

mkdir -p $builddir

# 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.
find $booke -name "*.abc" | sort |
    while read filename
    do
        name=`basename $filename .abc`
        tmpname=${name}.tmp
        convert -density 96 $graphicsdir/${name}.eps $builddir/${tmpname}.png
        convert -density 96 $graphicsdir/firstline-${name}.eps $builddir/firstline-${tmpname}.png

        mv $builddir/${tmpname}.png $builddir/${name}.png
        mv $builddir/firstline-${tmpname}.png $builddir/firstline-${name}.png
    done