diff makeWeb.sh @ 384:ce5dccdd45bd

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.
author Jim Hague <jim.hague@acm.org>
date Fri, 30 Aug 2013 23:59:41 +0100
parents 04bd083eed29
children e09ff88ab469
line wrap: on
line diff
--- 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