# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1377903581 -3600
# Node ID ce5dccdd45bdbe0426cac8603b94f241573c41bf
# Parent  8d574b900e3606f5d92ea1180a3e4011dfb4e8de
Comment on soft link creation. Jenkins archive will dereference them.

Bloody IE8. I will think about whether to just dump player functions on
all non-HTML5.

diff -r 8d574b900e36 -r ce5dccdd45bd makeWeb.sh
--- a/makeWeb.sh	Fri Aug 30 23:55:28 2013 +0100
+++ b/makeWeb.sh	Fri Aug 30 23:59:41 2013 +0100
@@ -97,6 +97,8 @@
 
         # If we are not the master booke, link the mp3 in from the
         # master page in a desperate attempt to make IE8 work.
+        # The Jenkins archive will dereference the soft link, it seems,
+        # but I guess I can live with copies of the MP3 for now.
         if [ "$booke" != "$masterbooke" ]; then
             ln -s -r ${masterwebdir}/${name}.mp3 ${webdir}
         fi