comparison 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
comparison
equal deleted inserted replaced
383:8d574b900e36 384:ce5dccdd45bd
95 # Copy the ABC into the web. 95 # Copy the ABC into the web.
96 cp $filename $webdir 96 cp $filename $webdir
97 97
98 # If we are not the master booke, link the mp3 in from the 98 # If we are not the master booke, link the mp3 in from the
99 # master page in a desperate attempt to make IE8 work. 99 # master page in a desperate attempt to make IE8 work.
100 # The Jenkins archive will dereference the soft link, it seems,
101 # but I guess I can live with copies of the MP3 for now.
100 if [ "$booke" != "$masterbooke" ]; then 102 if [ "$booke" != "$masterbooke" ]; then
101 ln -s -r ${masterwebdir}/${name}.mp3 ${webdir} 103 ln -s -r ${masterwebdir}/${name}.mp3 ${webdir}
102 fi 104 fi
103 105
104 # Generate the tune web page. 106 # Generate the tune web page.