diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-06-22 16:58:54 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-22 16:58:54 +0200 |
commit | d0aedb1ef17f83d4576ac2c0b4e377f34fbd7c26 (patch) | |
tree | 91e2da2aee553db68a163e5531ea93104c3dd3b8 | |
parent | 95cafc7bcf82a73210b063d062158d9b1f34da48 (diff) | |
parent | 49f94b94c79e47480c43f6f837328fc387c6eb70 (diff) |
Merge pull request #62308 from Calinou/makerst-fix-error-print
-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 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, ) |