diff makeGraphics.sh @ 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
parents e4d31e094d24
children
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.