diff options
| -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 |