diff options
| author | Daniel Mack <github@zonque.org> | 2015-11-23 11:26:00 +0100 |
|---|---|---|
| committer | Daniel Mack <github@zonque.org> | 2015-11-23 11:26:00 +0100 |
| commit | 2b65dcd63127e310c3c3d4502e03be77035979b2 (patch) | |
| tree | 57f29a5de6dd99b61f951463a69fb01aa822550d /tools/make-directive-index.py | |
| parent | 6098bb0dc31b1c472ab868088d04234352c44b75 (diff) | |
| parent | 958caa58c089037ffb8cd71bc342bb9d798a6dd3 (diff) | |
Merge pull request #1990 from keszybz/html-links
man: include the target name when linking to man pages in html output
Diffstat (limited to 'tools/make-directive-index.py')
| -rwxr-xr-x | tools/make-directive-index.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/make-directive-index.py b/tools/make-directive-index.py index 17b1325bba..8091683fee 100755 --- a/tools/make-directive-index.py +++ b/tools/make-directive-index.py @@ -268,6 +268,7 @@ def _make_section(template, name, directives, formatting): b = tree.SubElement(para, 'citerefentry') c = tree.SubElement(b, 'refentrytitle') c.text = manpage + c.attrib['target'] = varname d = tree.SubElement(b, 'manvolnum') d.text = manvolume entry.tail = '\n\n' |