diff options
| author | tv <tv> | 1998-06-27 14:05:46 +0000 |
|---|---|---|
| committer | tv <tv> | 1998-06-27 14:05:46 +0000 |
| commit | 3ee2b90f550a1c03e5c8bba745453a2ecfc64808 (patch) | |
| tree | fe425a42036e720381912b86ea36ffd3c4c0e437 /editors/pico | |
| parent | 9aa2dc95172e469ee719de1fad03d6b357274958 (diff) | |
| download | pkgsrc-3ee2b90f550a1c03e5c8bba745453a2ecfc64808.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 |