diff options
Diffstat (limited to 'tools')
| -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 5abcac84d..193f7416f 100755 --- a/tools/make-directive-index.py +++ b/tools/make-directive-index.py @@ -195,6 +195,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' |