Mercurial > dottes
diff makeWebGraphics.sh @ 1026:e4d31e094d24
Changes to get Beginners booke building.
The web pages include prev and next links, so to get those right we
have to make the tune filenames distinct from the main booke names.
So fall back to taking the easy way, and just prefix all tune names with
@ or _.
author | Jim Hague <jim.hague@acm.org> |
---|---|
date | Tue, 18 Feb 2020 15:13:38 +0000 |
parents | 0f4ba68d6059 |
children | 70e1ff83fe34 |
line wrap: on
line diff
--- a/makeWebGraphics.sh Tue Feb 18 15:12:06 2020 +0000 +++ b/makeWebGraphics.sh Tue Feb 18 15:13:38 2020 +0000 @@ -29,6 +29,12 @@ do name=`basename $filename .abc` tunedir=$basetunedir/$name + + # Already generated? + if [ -f $tunedir/${name}.pdf ]; then + continue + fi + mkdir -p $tunedir tmpname=${name}.tmp