diff options
author | P. J. McDermott <pj@pehjota.net> | 2014-09-01 17:42:47 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2014-09-01 17:42:47 (EDT) |
commit | d6bd6dd94faa21ee19da52c1cbb756b43bb523f2 (patch) | |
tree | 5d8d8745c6a73206d62a3ff6c45dc27027463eb6 /man/local.mk | |
parent | ee7094433c2eb9f75d85704f87cba8bc545dc070 (diff) |
Move some manuals to section 8
Diffstat (limited to 'man/local.mk')
-rw-r--r-- | man/local.mk | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/man/local.mk b/man/local.mk index 4d7f4a1..b35a1c9 100644 --- a/man/local.mk +++ b/man/local.mk @@ -1,6 +1,8 @@ man1_sources = \ man/prokit.1in \ man/prokit-help.1in \ - man/prokit-version.1in \ - man/prokit-shell.1in \ - man/prokit-opkg.1in + man/prokit-version.1in + +man8_sources = \ + man/prokit-shell.8in \ + man/prokit-opkg.8in |