From 4499d9fe5394c89bc50c952710a3a67e261fc146 Mon Sep 17 00:00:00 2001
From: Jim Hague <jim.hague@acm.org>
Date: Wed, 21 Aug 2013 13:51:52 +0100
Subject: [PATCH] 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 | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/makeWeb.sh b/makeWeb.sh
index 622b9b1..6e26ece 100755
--- a/makeWeb.sh
+++ b/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