summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. 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)
commitdd6ab0e30024bf60bd9d32a5c1b6bd4c4ed9e397 (patch)
treea6f103dd8d9a940daabdc7e265fd076846b0eb85
parentacb04051bc067bc74435f489e8265442c5fa82a8 (diff)
man/local.mk: Add new manual pages to man1_sources
-rw-r--r--man/local.mk5
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