From dd6ab0e30024bf60bd9d32a5c1b6bd4c4ed9e397 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Mon, 25 Aug 2014 20:34:09 -0400
Subject: man/local.mk: Add new manual pages to man1_sources

---
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
--
cgit v0.9.1