summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <remi@verschelde.fr>2022-06-22 16:58:54 +0200
committerGitHub <noreply@github.com>2022-06-22 16:58:54 +0200
commitd0aedb1ef17f83d4576ac2c0b4e377f34fbd7c26 (patch)
tree91e2da2aee553db68a163e5531ea93104c3dd3b8
parent95cafc7bcf82a73210b063d062158d9b1f34da48 (diff)
parent49f94b94c79e47480c43f6f837328fc387c6eb70 (diff)
Merge pull request #62308 from Calinou/makerst-fix-error-print
-rwxr-xr-xdoc/tools/make_rst.py6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py
index f59f2ff872..ce09361dfa 100755
--- a/doc/tools/make_rst.py
+++ b/doc/tools/make_rst.py
@@ -913,9 +913,9 @@ def format_codeblock(code_type, post_text, indent_level, state): # types: str,
if to_skip > indent_level:
print_error(
- "{}.xml: Four spaces should be used for indentation within ["
- + code_type
- + "].".format(state.current_class),
+ "{}.xml: Four spaces should be used for indentation within [{}].".format(
+ state.current_class, code_type
+ ),
state,
)