From 2f40bc5018677c81c123dbe5948ba402dc09ba19 Mon Sep 17 00:00:00 2001 From: Jim Hague Date: Sun, 10 Feb 2013 18:27:29 +0000 Subject: [PATCH] Change web to use PNG rather than JPG. This makes the image files smaller and much sharper. --- makeWeb.sh | 2 +- makeWebItems.sh | 5 ++--- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/makeWeb.sh b/makeWeb.sh index b0688eb..067b70d 100755 --- a/makeWeb.sh +++ b/makeWeb.sh @@ -48,7 +48,7 @@ find $booke -name "*.abc" | sort | echo "" >> $webdir/$output echo "${title}" >> $webdir/$output - echo "JPG" >> $webdir/$output + echo "PNG" >> $webdir/$output echo "PDF" >> $webdir/$output echo "MIDI" >> $webdir/$output echo "MP3" >> $webdir/$output diff --git a/makeWebItems.sh b/makeWebItems.sh index f20127c..67a4336 100755 --- a/makeWebItems.sh +++ b/makeWebItems.sh @@ -24,15 +24,14 @@ find $booke -name "*.abc" | sort | 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 -