diff options
| -rwxr-xr-x | doc/tools/makerst.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py index 056e5ca57f..06b842d8e6 100755 --- a/doc/tools/makerst.py +++ b/doc/tools/makerst.py @@ -312,7 +312,7 @@ def rstize_text(text, cclass): def make_type(t): global class_names if t in class_names: - return ':ref:`' + t + '<class_' + t.lower() + '>`' + return ':ref:`' + t + '<class_' + t + '>`' return t @@ -332,7 +332,7 @@ def make_enum(t): c = "@GlobalScope" e = t if c in class_names: - return ':ref:`' + e + '<enum_' + c.lower() + '_' + e.lower() + '>`' + return ':ref:`' + e + '<enum_' + c + '_' + e + '>`' return t |