diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-08-25 20:34:09 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-08-25 20:34:09 (EDT) |
| commit | dd6ab0e30024bf60bd9d32a5c1b6bd4c4ed9e397 (patch) | |
| tree | a6f103dd8d9a940daabdc7e265fd076846b0eb85 /man | |
| parent | acb04051bc067bc74435f489e8265442c5fa82a8 (diff) | |
man/local.mk: Add new manual pages to man1_sources
Diffstat (limited to 'man')
| -rw-r--r-- | man/local.mk | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/man/local.mk b/man/local.mk index 11b63d9..955bf92 100644 --- a/man/local.mk +++ b/man/local.mk @@ -1,2 +1,5 @@ man1_sources = \ - man/prokit.1in + man/prokit.1in \ + man/prokit-help.1in \ + man/prokit-version.1in \ + man/prokit-shell.1in |