diff options
| author | Rémi Verschelde | 2016-10-17 08:50:25 +0200 |
|---|---|---|
| committer | Rémi Verschelde | 2016-10-30 14:51:34 +0100 |
| commit | 5a49e45d213d57f82892c04b94497b37e9fa6229 (patch) | |
| tree | 75ef652853cc5c926288721326d904b8a34355f4 /doc/tools/doc_merge.py | |
| parent | 7143401e25763720b74bbcaf24b7dc46b3b22292 (diff) | |
| download | godot-5a49e45d213d57f82892c04b94497b37e9fa6229.tar.gz godot-5a49e45d213d57f82892c04b94497b37e9fa6229.tar.zst godot-5a49e45d213d57f82892c04b94497b37e9fa6229.zip | |
SCsub: Add python shebang as a hint for syntax highlighting
Also switch existing shebangs to "better" /usr/bin/env python.
(cherry picked from commit fc8ccd5b8c8b779bffd0f4d7f22f2f964c939163)
Diffstat (limited to 'doc/tools/doc_merge.py')
| -rw-r--r-- | doc/tools/doc_merge.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools/doc_merge.py b/doc/tools/doc_merge.py index b55902ce4..536770bee 100644 --- a/doc/tools/doc_merge.py +++ b/doc/tools/doc_merge.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # -*- coding: utf-8 -*- import sys |
