diff options
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 49a960c43a..ad3bfd791d 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) |