diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py index cd7de085d8e..a8569413ec3 100755 --- a/doc/tools/make_rst.py +++ b/doc/tools/make_rst.py @@ -1480,6 +1480,8 @@ def format_text_block( ) tag_text = f"``{link_target}``" + escape_pre = True + escape_post = True # Formatting directives.