diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-06-22 12:15:05 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-06-22 12:17:15 +0200 |
| commit | 49f94b94c79e47480c43f6f837328fc387c6eb70 (patch) | |
| tree | 3afe3f58cb820591e5f0ac3f69b8b7b37104f98a /doc/tools | |
| parent | c18d0f20357a11bd9cfa2f57b8b9b500763413bc (diff) | |
makerst: Fix file name not appearing in error message
Diffstat (limited to 'doc/tools')
| -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, ) |