diff options
Diffstat (limited to 'devel/mico/pkg-plist')
| -rw-r--r-- | devel/mico/pkg-plist | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/devel/mico/pkg-plist b/devel/mico/pkg-plist index 34832b4384d7..0cb2298e5e0c 100644 --- a/devel/mico/pkg-plist +++ b/devel/mico/pkg-plist @@ -346,13 +346,6 @@ lib/libmicotcl2.1.0.a lib/libmicox2.1.0.a lib/mico-setup.csh lib/mico-setup.sh -man/man1/idl.1.gz -man/man1/imr.1.gz -man/man1/nsadmin.1.gz -man/man5/micorc.5.gz -man/man8/ird.8.gz -man/man8/micod.8.gz -man/man8/nsd.8.gz @dirrm include/ministl @dirrm include/mico @dirrm doc/mico/examples/x11 |