# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1582109336 0
# Node ID 70e1ff83fe34605fb0855770986c3a412196044c
# Parent  1139aa0eb0c26e837f299fbf6c2522bec05cb818
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.

diff -r 1139aa0eb0c2 -r 70e1ff83fe34 makeGraphics.sh
--- 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.
diff -r 1139aa0eb0c2 -r 70e1ff83fe34 makeWebAudio.sh
--- 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
diff -r 1139aa0eb0c2 -r 70e1ff83fe34 makeWebGraphics.sh
--- 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