diff options
| author | Rémi Verschelde | 2016-11-01 00:24:30 +0100 |
|---|---|---|
| committer | Rémi Verschelde | 2016-11-01 00:35:16 +0100 |
| commit | f34151ff0f91e8f0df8eaf829334b2205eb7da3c (patch) | |
| tree | 2d074bb474b4b093c849ad2f6317dcc4ae5784f5 /doc/tools/makedoku.py | |
| parent | 817dd7ccbb166b27c93706dffc5c0c0d59fd87f8 (diff) | |
| download | godot-f34151ff0f91e8f0df8eaf829334b2205eb7da3c.tar.gz godot-f34151ff0f91e8f0df8eaf829334b2205eb7da3c.tar.zst godot-f34151ff0f91e8f0df8eaf829334b2205eb7da3c.zip | |
Diffstat (limited to 'doc/tools/makedoku.py')
| -rw-r--r-- | doc/tools/makedoku.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools/makedoku.py b/doc/tools/makedoku.py index 49a960c43..ad3bfd791 100644 --- a/doc/tools/makedoku.py +++ b/doc/tools/makedoku.py @@ -17,7 +17,7 @@ if len(input_list) < 1: def validate_tag(elem, tag): if (elem.tag != tag): - print("Tag mismatch, expected '" + tag + "', got " + elem.tag); + print("Tag mismatch, expected '" + tag + "', got " + elem.tag) sys.exit(255) |