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.
This commit is contained in:
Richard Ash 2020-06-18 17:02:21 +01:00 committed by Martin Hořeňovský
parent 0e77adee05
commit a862924601
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A

0
tools/scripts/updateDocumentToC.py Normal file → Executable file
View File