comparison makeWeb.sh @ 496:626fc1c02ce6

Duh. Remove all the web graphics, why don't I?
author Jim Hague <jim.hague@acm.org>
date Tue, 17 Jun 2014 15:18:26 +0100
parents a89eba8f6dd5
children 4cc739fe13ab
comparison
equal deleted inserted replaced
494:825d7b3d2ebd 496:626fc1c02ce6
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
81 mkdir -p $webdir 80 mkdir -p $webdir
82 81
83 sed -e "s/@BUILD@/$buildno/" -e "s/@SUBTITLE@/$subtitle/" \ 82 sed -e "s/@BUILD@/$buildno/" -e "s/@SUBTITLE@/$subtitle/" \
84 -e "s/@TITLE@/$title/" -e "s/@BOOK@/$booke/" dottes.html > $webdir/$output 83 -e "s/@TITLE@/$title/" -e "s/@BOOK@/$booke/" dottes.html > $webdir/$output
85 84