Ratchet up the IE8 attempt.

Thanks to http://www.yourwebskills.com/htmlobject.php.
This commit is contained in:
Jim Hague 2013-08-30 23:55:22 +01:00
parent 03b9bc7ae6
commit cefbabf8e5
2 changed files with 14 additions and 3 deletions

View File

@ -61,10 +61,14 @@
<audio controls> <audio controls>
<source src="../@MASTERBOOKE@/@TUNE@.mp3" type="audio/mpeg" /> <source src="../@MASTERBOOKE@/@TUNE@.mp3" type="audio/mpeg" />
<source src="../@MASTERBOOKE@/@TUNE@.ogg" type="audio/ogg" /> <source src="../@MASTERBOOKE@/@TUNE@.ogg" type="audio/ogg" />
<object width="300" height="30" type="audio/x-mpeg"> <object classid="clsid:22D6F312-B0F6-11D0-94AB-0080C74C7E95">
<param name="URL" value="../@MASTERBOOKE@/@TUNE@.mp3" /> <param name="FileName" value="@TUNE@.mp3" />
<param name="autoStart" value="false" /> <param name="autoStart" value="false" />
<param name="autoplay" 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> </object>
</audio> </audio>
</div> </div>

View File

@ -27,6 +27,7 @@ output=index.html
tunelist=tunelist.html tunelist=tunelist.html
booke=$1 booke=$1
masterbooke=$2 masterbooke=$2
masterwebdir=$dir/web/$2
title=$booke title=$booke
instrument=$3 instrument=$3
@ -63,7 +64,7 @@ done
# to be already generated. # to be already generated.
cp $1-*.pdf $webdir 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 | find $bookedir -name "*.abc" | sort |
while read filename while read filename
do do
@ -94,6 +95,12 @@ find $bookedir -name "*.abc" | sort |
# Copy the ABC into the web. # Copy the ABC into the web.
cp $filename $webdir 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. # Generate the tune web page.
tunepage=${name}.html tunepage=${name}.html