diff options
author | P. J. McDermott <pj@pehjota.net> | 2014-09-01 17:45:19 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2014-09-01 17:45:19 (EDT) |
commit | 1a1ba5e1ceada3dcc612b36a651de43ae993d191 (patch) | |
tree | 891a2bafa98e1a732d2c8f2f71c357a4dcb0e812 | |
parent | 72b713f103e0befef11869b1ceaad41662fdc101 (diff) |
man/local.mk: Add man/prokit-build.8in
-rw-r--r-- | man/local.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/man/local.mk b/man/local.mk index b35a1c9..d147c4a 100644 --- a/man/local.mk +++ b/man/local.mk @@ -5,4 +5,5 @@ man1_sources = \ man8_sources = \ man/prokit-shell.8in \ - man/prokit-opkg.8in + man/prokit-opkg.8in \ + man/prokit-build.8in |