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