diff options
| author | Emanuele Torre <torreemanuele6@gmail.com> | 2023-10-12 22:05:08 +0200 |
|---|---|---|
| committer | Nico Williams <nico@cryptonector.com> | 2023-10-12 15:32:23 -0500 |
| commit | 9de0e26ce613f7e534b2ff3a92ad0d06d329efab (patch) | |
| tree | fd4ad0a70b09c07a820a39bfa41f937e567c8538 /docs/build_manpage.py | |
| parent | c10cbbff34b25f447d45d1a997cf8606769875c8 (diff) | |
Generate links in man page
Some [foo](bar) links were added to manual.yml without updating
build_manpage.py to make it generate roff for "a" tags.
Fixes #2930
Diffstat (limited to 'docs/build_manpage.py')
| -rwxr-xr-x | docs/build_manpage.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/build_manpage.py b/docs/build_manpage.py index 4f227b23..becb451d 100755 --- a/docs/build_manpage.py +++ b/docs/build_manpage.py @@ -86,6 +86,9 @@ class RoffWalker(object): self.__write_cmd('.P') self._write_element(root, ensure_newline=(parent_tag != 'li')) + elif root.tag == 'a': + self._write_element(root, ensure_newline=(parent_tag != 'li')) + elif root.tag == 'ul': if self._ul_is_special(root): li = root[0] |