diff options
Diffstat (limited to '')
| -rw-r--r-- | editors/jove/pkg-plist | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/editors/jove/pkg-plist b/editors/jove/pkg-plist index bf6ce2df2097..b9e4839010e6 100644 --- a/editors/jove/pkg-plist +++ b/editors/jove/pkg-plist @@ -2,10 +2,10 @@ bin/jove bin/teachjove libexec/jove/portsrv libexec/jove/recover -man/man1/jove.1 -man/man1/teachjove.1 -man/man1/xjove.1 -man/man1/jovetool.1 +man/man1/jove.1.gz +man/man1/teachjove.1.gz +man/man1/xjove.1.gz +man/man1/jovetool.1.gz share/jove/teach-jove share/jove/cmds.doc share/jove/jove.rc.sun |