diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py index cd7de085d8ec..a8569413ec33 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.