From 322387b6949c90fb169cf15a3324857121d11e3e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= Date: Tue, 5 Oct 2021 15:31:25 +0200 Subject: [PATCH] makerst: Make external links anonymous Otherwise we get errors if we use the same title for different links in a given class. (cherry picked from commit 1e36f5f524d3cdee65c635600b1afc3ce4a8dbb6) --- doc/tools/makerst.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py index 0e4997c54a0..b3313c95339 100755 --- a/doc/tools/makerst.py +++ b/doc/tools/makerst.py @@ -860,7 +860,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 @@ -1091,9 +1091,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__":