# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1330939987 0
# Node ID 3464d5154f49d44452e6e56f90022da6406e6b62
# Parent  f6d2efb4bbefdac369b949263533af4f06a8b46e
Fix temp file name to convert.

Convert works out what it is converting to from the extension.
So adding .tmp stopped it converting to JPG. Doh!

diff -r f6d2efb4bbef -r 3464d5154f49 makeWebItems.sh
--- a/makeWebItems.sh	Sun Mar 04 22:43:10 2012 +0000
+++ b/makeWebItems.sh	Mon Mar 05 09:33:07 2012 +0000
@@ -23,15 +23,16 @@
     while read filename
     do
         name=`basename $filename .abc`
-        convert $graphicsdir/${name}.eps $builddir/${name}.jpg.tmp
+        tmpname=${name}.tmp
+        convert $graphicsdir/${name}.eps $builddir/${tmpname}.jpg
 
-        abc2midi $filename -o $builddir/${name}.mid.tmp
-        timidity -Ow -o $builddir/${name}.wav.tmp $builddir/${name}.mid.tmp
-        lame --quiet $builddir/${name}.wav.tmp $builddir/${name}.mp3.tmp
+        abc2midi $filename -o $builddir/${tmpname}.mid
+        timidity -Ow -o $builddir/${tmpname}.wav $builddir/${tmpname}.mid
+        lame --quiet $builddir/${tmpname}.wav $builddir/${tmpname}.mp3
 
-        mv $builddir/${name}.jpg.tmp $builddir/${name}.jpg
-        mv $builddir/${name}.mid.tmp $builddir/${name}.mid
-        mv $builddir/${name}.mp3.tmp $builddir/${name}.mp3
-        rm $builddir/${name}.wav.tmp
+        mv $builddir/${tmpname}.jpg $builddir/${name}.jpg
+        mv $builddir/${tmpname}.mid $builddir/${name}.mid
+        mv $builddir/${tmpname}.mp3 $builddir/${name}.mp3
+        rm $builddir/${tmpname}.wav
     done