comparison makeWeb.sh @ 366:5628fcd6c692

Don't mark SSI files executable. We now archive to publish, and archiving loses the executable bit, so I've had to enable SSI for all .html anyway.
author Jim Hague <jim.hague@acm.org>
date Wed, 21 Aug 2013 13:51:52 +0100
parents 265539086836
children 04bd083eed29
comparison
equal deleted inserted replaced
364:7240535f9fa7 366:5628fcd6c692
46 46
47 mkdir -p $webdir 47 mkdir -p $webdir
48 48
49 sed -e "s/@BUILD@/$buildno/" -e "s/@SUBTITLE@/$subtitle/" \ 49 sed -e "s/@BUILD@/$buildno/" -e "s/@SUBTITLE@/$subtitle/" \
50 -e "s/@TITLE@/$title/" -e "s/@BOOK@/$booke/" dottes.html > $webdir/$output 50 -e "s/@TITLE@/$title/" -e "s/@BOOK@/$booke/" dottes.html > $webdir/$output
51
52 # Mark output as executable so it is scanned for server-side includes.
53 chmod +x $webdir/$output
54 51
55 for item in intro 52 for item in intro
56 do 53 do
57 rm -f $webdir/$item.html 54 rm -f $webdir/$item.html
58 if [ -r $booke/$item.txt ]; then 55 if [ -r $booke/$item.txt ]; then