diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-07-28 13:06:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-28 13:06:03 +0200 |
| commit | edb503cd00614391d14759777c38d8be6d0f20aa (patch) | |
| tree | fac7ec929d8eede5de650305dc8a96d7a575279a | |
| parent | 7281f0f2381394a33300901a04fba100c5af79d9 (diff) | |
| parent | d9b4ece093f256797e3596484e47818dac75e882 (diff) | |
Merge pull request #63400 from jynus/rst-generation-operator-syntax
| -rwxr-xr-x | doc/tools/make_rst.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py index 2aa4cb8ec1..469bb4a310 100755 --- a/doc/tools/make_rst.py +++ b/doc/tools/make_rst.py @@ -1401,7 +1401,7 @@ def make_method_signature( if ref_type != "": if ref_type == "operator": out += ":ref:`{0}<class_{1}_{2}_{3}_{4}>` ".format( - method_def.name, + method_def.name.replace("<", "\\<"), # So operator "<" gets correctly displayed. class_def.name, ref_type, sanitize_operator_name(method_def.name, state), |