Richard Ash
e7189f1e4f
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.
2020-06-18 21:28:08 +02:00
Martin Hořeňovský
695a356f93
Move all scripts to Python3
2020-03-19 12:36:30 +01:00
Martin Hořeňovský
46e99e258f
Fixup TOC script sluggification and documentation
2018-09-09 17:09:57 +02:00
Marcus Näslund
9e7c281e6e
Minor fixes to python scripts by pycodestyle
2018-04-27 18:57:18 +02:00
Josh Soref
b11175548a
Fixup various spelling errors ( #1208 )
2018-03-07 10:08:35 +01:00
Martin Hořeňovský
276393e4e5
Change ToC script to use <br> instead of trailing spaces
...
Also updated docs that contain ToC. Fixes #1048
2017-10-13 11:17:38 +02:00
Martin Moene
61280e6d0a
Rename to updateDocumentToC.py and adapt for use with Catch
...
adding missing GPL 3.0 license (thanks for noting @horenmar).
2017-10-03 15:43:18 +02:00
