From a86292460154c42d9bb14322b334852d1466449e 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. --- tools/scripts/updateDocumentToC.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/scripts/updateDocumentToC.py diff --git a/tools/scripts/updateDocumentToC.py b/tools/scripts/updateDocumentToC.py old mode 100644 new mode 100755