diff options
author | Sergei Trofimov <sergei.trofimov@arm.com> | 2018-05-18 16:07:15 +0100 |
---|---|---|
committer | Marc Bonnici <marc.bonnici@arm.com> | 2018-05-18 16:50:48 +0100 |
commit | 887cdcc41182bc67e30dc62b5101b1edbcf0d76a (patch) | |
tree | c5d61e80a5e6e4eb9bf307c40a60f7fb1062b615 /wa/commands | |
parent | b1b2131b0c4b13844a3eb5545b79b2111752c13a (diff) |
commands/show: change man section to 7
Change the man page section from 1 7. "Misc. information" is more
appropriate for plugin documentation than "Executable commands".
Diffstat (limited to 'wa/commands')
-rw-r--r-- | wa/commands/show.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/wa/commands/show.py b/wa/commands/show.py index ca7e534f..b074568b 100644 --- a/wa/commands/show.py +++ b/wa/commands/show.py @@ -69,7 +69,7 @@ class ShowCommand(Command): # Correctly format the title and page number of the man page title, body = output.split('\n', 1) - title = '.TH {}{} 1'.format(kind, plugin_name) + title = '.TH {}{} 7'.format(kind, plugin_name) output = '\n'.join([title, body]) call('echo "{}" | man -l -'.format(escape_double_quotes(output)), shell=True) |