diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-09-15 12:29:14 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-09-15 12:29:14 (EDT) |
| commit | 0c3270c45d8d8399034a0873f24da15f7e7ccce2 (patch) | |
| tree | a5fa6bac4975de6a8cdd614115880f1591811692 | |
| parent | 245ed137de7d1475f7e085343410d247214c9204 (diff) | |
man/local.mk: Add man/prokit-install.8in
| -rw-r--r-- | man/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/local.mk b/man/local.mk index d147c4a..fef3059 100644 --- a/man/local.mk +++ b/man/local.mk @@ -4,6 +4,7 @@ man1_sources = \ man/prokit-version.1in man8_sources = \ + man/prokit-install.8in \ man/prokit-shell.8in \ man/prokit-opkg.8in \ man/prokit-build.8in |