diff makeWeb.sh @ 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 c88c74d27d68
children 8f352063f277
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