diff makeWeb.sh @ 492:a89eba8f6dd5

Ensure that web directory doesn't exist. I had a problem in a build with one web directory being created as a file.
author Jim Hague <jim.hague@acm.org>
date Tue, 17 Jun 2014 14:13:28 +0100
parents 4fab69a1027d
children 626fc1c02ce6
line wrap: on
line diff
--- a/makeWeb.sh	Tue Jun 17 14:10:18 2014 +0100
+++ b/makeWeb.sh	Tue Jun 17 14:13:28 2014 +0100
@@ -77,6 +77,7 @@
     subtitle="${subtitle} ($instrument)"
 fi
 
+rm -rf $webdir
 mkdir -p $webdir
 
 sed -e "s/@BUILD@/$buildno/" -e "s/@SUBTITLE@/$subtitle/" \