From e7189f1e4f4ba22bf479a464f892a0e2f9ec0ef9 Mon Sep 17 00:00:00 2001 From: Richard Ash Date: Thu, 18 Jun 2020 17:02:21 +0100 Subject: [PATCH] Make scripts/updateDocumentToC.py executable. On systems where the file system has excute permissions, this script was not marked as executable in a clean git checkout and so could be run without first changing the permissions. Fixed by setting the relevant git flag. --- scripts/updateDocumentToC.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/updateDocumentToC.py diff --git a/scripts/updateDocumentToC.py b/scripts/updateDocumentToC.py old mode 100644 new mode 100755