Mercurial > dottes

diff makeWebAudio.sh @ 1026:e4d31e094d24

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 d6e2a281cceb
children 1139aa0eb0c2
line wrap: on
line diff
--- a/makeWebAudio.sh	Tue Feb 18 15:12:06 2020 +0000
+++ b/makeWebAudio.sh	Tue Feb 18 15:13:38 2020 +0000
@@ -78,6 +78,12 @@
     do
         name=`basename $filename .abc`
         tunedir=$basetunedir/$name
+
+        # Already generated?
+        if [ -f $tunedir/${name}.mp3 ]; then
+            continue
+        fi
+
         mkdir -p $tunedir
 
         makeaudiofiles $filename $tunedir