diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-06-10 22:58:09 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-06-10 22:58:09 +0200 |
| commit | 1163af17567c1391f7c36d553b4d1414f3bc6c57 (patch) | |
| tree | 17b6363e74b347739c493b0aa4281b9bcc7e06bd /doc | |
| parent | b9375ea7fc135f5468dcfb8c80b51a945ac14155 (diff) | |
makerst: Fix duplicate `.xml` extension in some error messages
Previously, a file name could appear as e.g. `ProjectSettings.xml.xml`
when one of the 3 modified errors was reported.
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/tools/make_rst.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py index 2e227ce578..aaccbd7aa9 100755 --- a/doc/tools/make_rst.py +++ b/doc/tools/make_rst.py @@ -464,17 +464,17 @@ def main(): # type: () -> None try: tree = ET.parse(cur_file) except ET.ParseError as e: - print_error("{}.xml: Parse error while reading the file: {}".format(cur_file, e), state) + print_error("{}: Parse error while reading the file: {}".format(cur_file, e), state) continue doc = tree.getroot() if "version" not in doc.attrib: - print_error('{}.xml: "version" attribute missing from "doc".'.format(cur_file), state) + print_error('{}: "version" attribute missing from "doc".'.format(cur_file), state) continue name = doc.attrib["name"] if name in classes: - print_error('{}.xml: Duplicate class "{}".'.format(cur_file, name), state) + print_error('{}: Duplicate class "{}".'.format(cur_file, name), state) continue classes[name] = (doc, cur_file) |