# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1377903328 -3600
# Node ID 8d574b900e3606f5d92ea1180a3e4011dfb4e8de
# Parent  64700d59ba85dd36a38897c88a7b7229b93a0100# Parent  04bd083eed290bf79ccaea5b699c6375e42eafa4
Automated merge with ssh://hg.cryhavoc.org.uk/dottes

diff -r 64700d59ba85 -r 8d574b900e36 dottes.html.tune
--- a/dottes.html.tune	Fri Aug 30 22:10:15 2013 +0100
+++ b/dottes.html.tune	Fri Aug 30 23:55:28 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 64700d59ba85 -r 8d574b900e36 makeWeb.sh
--- a/makeWeb.sh	Fri Aug 30 22:10:15 2013 +0100
+++ b/makeWeb.sh	Fri Aug 30 23:55:28 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