changeset 1030:70e1ff83fe34

Remove the 'already generated' checks. Let's make sure all content gets generated. I really, really need to do a proper build system for this lot.
author Jim Hague <jim.hague@acm.org>
date Wed, 19 Feb 2020 10:48:56 +0000 (2020-02-19)
parents 1139aa0eb0c2
children 18f0e45207ef
files makeGraphics.sh makeWebAudio.sh makeWebGraphics.sh
diffstat 3 files changed, 0 insertions(+), 20 deletions(-) [+]
line wrap: on
line diff
--- a/makeGraphics.sh	Wed Feb 19 10:33:55 2020 +0000
+++ b/makeGraphics.sh	Wed Feb 19 10:48:56 2020 +0000
@@ -22,11 +22,6 @@
     do
         name=`basename $filename .abc`
 
-        # Already generated?
-        if [ -f $graphicsdir/${name}.pdf ]; then
-            continue
-        fi
-
         # Make the tune graphic.
         abcm2ps -E -F singletune -O $graphicsdir/$name.eps $filename
         # Make $name.eps so we can build with LaTeX.
@@ -58,11 +53,6 @@
     do
         name=`basename $filename .abc`
 
-        # Already generated?
-        if [ -f $graphicsdir/compact-${name}.pdf ]; then
-            continue
-        fi
-
         # Make the tune graphic.
         abcm2ps -E -F singletune -O $graphicsdir/compact-${name}.eps $filename
         # Make $name.eps so we can build with LaTeX.
--- a/makeWebAudio.sh	Wed Feb 19 10:33:55 2020 +0000
+++ b/makeWebAudio.sh	Wed Feb 19 10:48:56 2020 +0000
@@ -85,11 +85,6 @@
         name=`basename $filename .abc`
         tunedir=$basetunedir/$name
 
-        # Already generated?
-        if [ -f $tunedir/${name}.mp3 ]; then
-            continue
-        fi
-
         mkdir -p $tunedir
 
         makeaudiofiles $filename $tunedir
--- a/makeWebGraphics.sh	Wed Feb 19 10:33:55 2020 +0000
+++ b/makeWebGraphics.sh	Wed Feb 19 10:48:56 2020 +0000
@@ -30,11 +30,6 @@
         name=`basename $filename .abc`
         tunedir=$basetunedir/$name
 
-        # Already generated?
-        if [ -f $tunedir/${name}.pdf ]; then
-            continue
-        fi
-
         mkdir -p $tunedir
 
         tmpname=${name}.tmp