From 2f05dc69760c6d68aee7f47cd0ad3dac7dce6049 Mon Sep 17 00:00:00 2001
From: Jim Hague <jim.hague@acm.org>
Date: Tue, 17 Jun 2014 14:13:28 +0100
Subject: [PATCH] Ensure that web directory doesn't exist.

I had a problem in a build with one web directory being created as a file.
---
 makeWeb.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/makeWeb.sh b/makeWeb.sh
index 8409945..7513525 100755
--- a/makeWeb.sh
+++ b/makeWeb.sh
@@ -77,6 +77,7 @@ if [ -n "$instrument" ]; then
     subtitle="${subtitle} ($instrument)"
 fi
 
+rm -rf $webdir
 mkdir -p $webdir
 
 sed -e "s/@BUILD@/$buildno/" -e "s/@SUBTITLE@/$subtitle/" \