diff options
author | tv <tv> | 1998-06-27 14:05:46 +0000 |
---|---|---|
committer | tv <tv> | 1998-06-27 14:05:46 +0000 |
commit | a2319fd6a372c392ca6a7a2d80455bfe7e11e1b8 (patch) | |
tree | fe425a42036e720381912b86ea36ffd3c4c0e437 /editors/pico | |
parent | cd2c974d7f65e3d356dd4332183ee2ee682bd714 (diff) | |
download | pkgsrc-a2319fd6a372c392ca6a7a2d80455bfe7e11e1b8.tar.gz |
Remove libpico from installation - it's static only, and we're not
installing headers for it, so it is basically useless. However, this
should be re-added when libpico is made shared (it will reduce pico and
pilot to less than 8K each).
Diffstat (limited to 'editors/pico')
-rw-r--r-- | editors/pico/pkg/PLIST | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/editors/pico/pkg/PLIST b/editors/pico/pkg/PLIST index a286f785815..0c6abad5d6b 100644 --- a/editors/pico/pkg/PLIST +++ b/editors/pico/pkg/PLIST @@ -1,6 +1,5 @@ -@comment $NetBSD: PLIST,v 1.2 1998/06/27 03:29:04 tv Exp $ +@comment $NetBSD: PLIST,v 1.3 1998/06/27 14:05:46 tv Exp $ bin/pico bin/pilot -lib/libpico.a man/man1/pico.1 man/man1/pilot.1 |