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.

makeWeb.sh

@@ -49,9 +49,6 @@ mkdir -p $webdir
 sed -e "s/@BUILD@/$buildno/" -e "s/@SUBTITLE@/$subtitle/" \
     -e "s/@TITLE@/$title/" -e "s/@BOOK@/$booke/" dottes.html > $webdir/$output
 
-# Mark output as executable so it is scanned for server-side includes.
-chmod +x $webdir/$output
-
 for item in intro
 do
     rm -f $webdir/$item.html