diff options
author | tv <tv@pkgsrc.org> | 1998-06-27 14:05:46 +0000 |
---|---|---|
committer | tv <tv@pkgsrc.org> | 1998-06-27 14:05:46 +0000 |
commit | 81a47cfdb59c6eb953f6fdf8c9b015c9fe87bffc (patch) | |
tree | fe425a42036e720381912b86ea36ffd3c4c0e437 /editors/pico | |
parent | 070f9f34546e0f2baa56cc426a907db1eccc6215 (diff) | |
download | pkgsrc-81a47cfdb59c6eb953f6fdf8c9b015c9fe87bffc.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 |