summaryrefslogtreecommitdiff
path: root/doc/tools
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2021-10-05 15:31:25 +0200
committerRémi Verschelde <rverschelde@gmail.com>2021-10-05 19:13:24 +0200
commit1e36f5f524d3cdee65c635600b1afc3ce4a8dbb6 (patch)
tree35e8cb16bef1163f308ae7766b2ee1a1481dc5ba /doc/tools
parente87f3dd4d0601c569c4379c324a9b2d016a6fda9 (diff)
makerst: Make external links anonymous
Otherwise we get errors if we use the same title for different links in a given class.
Diffstat (limited to 'doc/tools')
-rwxr-xr-xdoc/tools/makerst.py6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py
index acf04344c6..105388dd0b 100755
--- a/doc/tools/makerst.py
+++ b/doc/tools/makerst.py
@@ -871,7 +871,7 @@ def rstize_text(text, state): # type: (str, State) -> str
inside_url = True
url_has_name = False
elif cmd == "/url":
- tag_text = ("" if url_has_name else url_link) + " <" + url_link + ">`_"
+ tag_text = ("" if url_has_name else url_link) + " <" + url_link + ">`__"
tag_depth -= 1
escape_post = True
inside_url = False
@@ -1127,9 +1127,9 @@ def make_link(url, title): # type: (str, str) -> str
# External link, for example:
# `http://enet.bespin.org/usergroup0.html`
if title != "":
- return "`" + title + " <" + url + ">`_"
+ return "`" + title + " <" + url + ">`__"
else:
- return "`" + url + " <" + url + ">`_"
+ return "`" + url + " <" + url + ">`__"
if __name__ == "__main__":