# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1377903322 -3600
# Node ID 04bd083eed290bf79ccaea5b699c6375e42eafa4
# Parent  6c96275965d635bfa0becab530c26cc0eb73347a
Ratchet up the IE8 attempt.

Thanks to http://www.yourwebskills.com/htmlobject.php.

diff -r 6c96275965d6 -r 04bd083eed29 dottes.html.tune
--- a/dottes.html.tune	Fri Aug 30 20:25:01 2013 +0100
+++ b/dottes.html.tune	Fri Aug 30 23:55:22 2013 +0100
@@ -61,10 +61,14 @@
               <audio controls>
                 <source src="../@MASTERBOOKE@/@TUNE@.mp3" type="audio/mpeg" />
                 <source src="../@MASTERBOOKE@/@TUNE@.ogg" type="audio/ogg" />
-                <object width="300" height="30" type="audio/x-mpeg">
-                  <param name="URL" value="../@MASTERBOOKE@/@TUNE@.mp3" />
+                <object classid="clsid:22D6F312-B0F6-11D0-94AB-0080C74C7E95">
+                  <param name="FileName" value="@TUNE@.mp3" />
                   <param name="autoStart" value="false" />
                   <param name="autoplay" value="false" />
+                  <object type="audio/mpeg" data="@TUNE@.mp3">
+                    <param name="controller" value="true" />
+                    <param name="autoplay" value="false" />
+                  </object>
                 </object>
               </audio>
             </div>
diff -r 6c96275965d6 -r 04bd083eed29 makeWeb.sh
--- a/makeWeb.sh	Fri Aug 30 20:25:01 2013 +0100
+++ b/makeWeb.sh	Fri Aug 30 23:55:22 2013 +0100
@@ -27,6 +27,7 @@
 tunelist=tunelist.html
 booke=$1
 masterbooke=$2
+masterwebdir=$dir/web/$2
 title=$booke
 instrument=$3
 
@@ -63,7 +64,7 @@
 # to be already generated.
 cp $1-*.pdf $webdir
 
-# Now, for each tune, make the tune graphic and sound.
+# Now, for each tune, make the tune page.
 find $bookedir -name "*.abc" | sort |
     while read filename
     do
@@ -94,6 +95,12 @@
         # Copy the ABC into the web.
         cp $filename $webdir
 
+        # If we are not the master booke, link the mp3 in from the
+        # master page in a desperate attempt to make IE8 work.
+        if [ "$booke" != "$masterbooke" ]; then
+            ln -s -r ${masterwebdir}/${name}.mp3 ${webdir}
+        fi
+
         # Generate the tune web page.
         tunepage=${name}.html