comparison 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
comparison
equal deleted inserted replaced
491:9f093e0662cd 492:a89eba8f6dd5
75 if [ -n "$instrument" ]; then 75 if [ -n "$instrument" ]; then
76 title="${title} ($instrument)" 76 title="${title} ($instrument)"
77 subtitle="${subtitle} ($instrument)" 77 subtitle="${subtitle} ($instrument)"
78 fi 78 fi
79 79
80 rm -rf $webdir
80 mkdir -p $webdir 81 mkdir -p $webdir
81 82
82 sed -e "s/@BUILD@/$buildno/" -e "s/@SUBTITLE@/$subtitle/" \ 83 sed -e "s/@BUILD@/$buildno/" -e "s/@SUBTITLE@/$subtitle/" \
83 -e "s/@TITLE@/$title/" -e "s/@BOOK@/$booke/" dottes.html > $webdir/$output 84 -e "s/@TITLE@/$title/" -e "s/@BOOK@/$booke/" dottes.html > $webdir/$output
84 85