# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1378070698 -3600
# Node ID c5d404bf68a3c511959d82ecd6bff00770febad9
# Parent  1f079d911e4b1e3f0789983493e1988c9a3c61fa
Reduce size of generated audio files.

Set Timidity to produce mono output and crank up the compression on
MP3 and OGGs.

diff -r 1f079d911e4b -r c5d404bf68a3 makeWebAudio.sh
--- a/makeWebAudio.sh	Sun Sep 01 22:20:25 2013 +0100
+++ b/makeWebAudio.sh	Sun Sep 01 22:24:58 2013 +0100
@@ -25,13 +25,13 @@
         tmpname=${name}.tmp
 
         abc2midi $filename -o $builddir/${tmpname}.mid
-        timidity -Ow -o $builddir/${tmpname}.wav $builddir/${tmpname}.mid
-        lame --quiet $builddir/${tmpname}.wav $builddir/${tmpname}.mp3
+        timidity -OwM -o $builddir/${tmpname}.wav $builddir/${tmpname}.mid
+        lame -m m -V 9 --quiet $builddir/${tmpname}.wav $builddir/${tmpname}.mp3
         # Timidity can generate OGG directly. But we need to generate WAV
         # for lame, and oggenc produces smaller output. OGG is needed for
         # Firefox's audio tag. FF doesn't support MP3, some others support
         # MP3 but not OGG.
-        oggenc -Q -o $builddir/${tmpname}.ogg $builddir/${tmpname}.wav
+        oggenc -Q -q 0 -o $builddir/${tmpname}.ogg $builddir/${tmpname}.wav
 
         mv $builddir/${tmpname}.mid $builddir/${name}.mid
         mv $builddir/${tmpname}.mp3 $builddir/${name}.mp3