changeset 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 9f093e0662cd
children 5d272058c31a
files makeWeb.sh
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
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/" \