Generate different tune PDF for web site download. For website download, generate a tune PDF with the tune title and composer. Seems a bit silly to download a PDF giving an anonymouse tune.

#!/bin/sh

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

booke=$1

find $booke -name "*.abc" | sort | xargs abcm2ps -F dottes.fmt -O $booke.ps