diff options
Diffstat (limited to 'devel')
| -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 64876ca99355..53c6fa048355 100644 --- a/devel/mico/pkg-plist +++ b/devel/mico/pkg-plist @@ -411,13 +411,6 @@ lib/libmicox2.2.3.a lib/libmicox2.2.3.so.1.0 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 |