diff options
Diffstat (limited to 'editors/jove')
| -rw-r--r-- | editors/jove/pkg-plist | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/editors/jove/pkg-plist b/editors/jove/pkg-plist index 214c08847518..942b871ec2bd 100644 --- a/editors/jove/pkg-plist +++ b/editors/jove/pkg-plist @@ -2,4 +2,7 @@ bin/jove bin/teachjove lib/jove -man/cat1/jove.0 +man/man1/jove.1 +man/man1/teachjove.1 +man/man1/xjove.1 +man/man1/jovetool.1 |