changeset 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 7240535f9fa7
children 355074af9910
files makeWeb.sh
diffstat 1 files changed, 0 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/makeWeb.sh	Wed Aug 21 11:03:36 2013 +0100
+++ b/makeWeb.sh	Wed Aug 21 13:51:52 2013 +0100
@@ -49,9 +49,6 @@
 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