changeset 191:2fa3c89a0a8a

Change web to use PNG rather than JPG. This makes the image files smaller and much sharper.
author Jim Hague <jim.hague@acm.org>
date Sun, 10 Feb 2013 18:27:29 +0000
parents 5383f9c46f51
children fd0bcf094cf8
files makeWeb.sh makeWebItems.sh
diffstat 2 files changed, 3 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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
--- 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
-