From 1163af17567c1391f7c36d553b4d1414f3bc6c57 Mon Sep 17 00:00:00 2001 From: Hugo Locurcio Date: Fri, 10 Jun 2022 22:58:09 +0200 Subject: [PATCH] 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. --- doc/tools/make_rst.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py index 2e227ce578c..aaccbd7aa96 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)