diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2021-10-05 15:31:25 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2021-10-05 19:13:24 +0200 |
| commit | 1e36f5f524d3cdee65c635600b1afc3ce4a8dbb6 (patch) | |
| tree | 35e8cb16bef1163f308ae7766b2ee1a1481dc5ba | |
| parent | e87f3dd4d0601c569c4379c324a9b2d016a6fda9 (diff) | |
makerst: Make external links anonymous
Otherwise we get errors if we use the same title for different links in a given class.
| -rwxr-xr-x | doc/tools/makerst.py | 6 |
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__": |