diff options
| author | Yuri Sizov <11782833+YuriSizov@users.noreply.github.com> | 2022-09-13 00:19:38 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-13 00:19:38 +0300 |
| commit | 16228ba3e27b57df48256fcdf34670a25b3d52b0 (patch) | |
| tree | b1f3597ed63f33b51d38cf3aafb5efc42e413401 | |
| parent | 79b21e96ad7a154e6c64a88150c98bd4dea52e91 (diff) | |
| parent | 7f30e81abecd28030775931ea4bdfce45b199390 (diff) | |
Merge pull request #65670 from Jayman2000/fix-rst-doc-literals
Fix invalid literals in generated rst docs
| -rwxr-xr-x | doc/tools/make_rst.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py index cd7de085d8..a8569413ec 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. |