# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1403010808 -3600
# Node ID a89eba8f6dd5aee9553c09ebb8385b3016f5fc98
# Parent  9f093e0662cd961dbf12d808640ca3899aa412f9
Ensure that web directory doesn't exist.

I had a problem in a build with one web directory being created as a file.

diff -r 9f093e0662cd -r a89eba8f6dd5 makeWeb.sh
--- 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/" \