# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1360520849 0
# Node ID 2fa3c89a0a8a869caccf1b6e2e63be8064f4b38c
# Parent  5383f9c46f5165c95872acb10252e099bceaf18b
Change web to use PNG rather than JPG.

This makes the image files smaller and much sharper.

diff -r 5383f9c46f51 -r 2fa3c89a0a8a makeWeb.sh
--- a/makeWeb.sh	Fri Feb 08 00:05:17 2013 +0000
+++ b/makeWeb.sh	Sun Feb 10 18:27:29 2013 +0000
@@ -48,7 +48,7 @@
 
         echo "<tr>" >> $webdir/$output
         echo "<td>${title}</td>" >> $webdir/$output
-        echo "<td><a href=\"${name}.jpg\">JPG</a></td>" >> $webdir/$output
+        echo "<td><a href=\"${name}.png\">PNG</a></td>" >> $webdir/$output
         echo "<td><a href=\"${name}.pdf\">PDF</a></td>" >> $webdir/$output
         echo "<td><a href=\"${name}.mid\">MIDI</a></td>" >> $webdir/$output
         echo "<td><a href=\"${name}.mp3\">MP3</a></td>" >> $webdir/$output
diff -r 5383f9c46f51 -r 2fa3c89a0a8a makeWebItems.sh
--- a/makeWebItems.sh	Fri Feb 08 00:05:17 2013 +0000
+++ b/makeWebItems.sh	Sun Feb 10 18:27:29 2013 +0000
@@ -24,15 +24,14 @@
     do
         name=`basename $filename .abc`
         tmpname=${name}.tmp
-        convert -density 96 $graphicsdir/${name}.eps $builddir/${tmpname}.jpg
+        convert -density 96 $graphicsdir/${name}.eps $builddir/${tmpname}.png
 
         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/${tmpname}.jpg $builddir/${name}.jpg
+        mv $builddir/${tmpname}.png $builddir/${name}.png
         mv $builddir/${tmpname}.mid $builddir/${name}.mid
         mv $builddir/${tmpname}.mp3 $builddir/${name}.mp3
         rm $builddir/${tmpname}.wav
     done
-