diff options
Diffstat (limited to 'editors/jed')
| -rw-r--r-- | editors/jed/Makefile | 5 | ||||
| -rw-r--r-- | editors/jed/pkg-plist | 1 |
2 files changed, 1 insertions, 5 deletions
diff --git a/editors/jed/Makefile b/editors/jed/Makefile index a5159e82f3b7..3146365f3921 100644 --- a/editors/jed/Makefile +++ b/editors/jed/Makefile @@ -3,7 +3,7 @@ # Date created: 22 APR 1997 # Whom: eric # -# $Id: Makefile,v 1.7 1998/10/14 04:13:40 jseger Exp $ +# $Id: Makefile,v 1.8 1998/11/29 12:43:08 asami Exp $ # DISTNAME= jed0.98-7 @@ -50,9 +50,6 @@ post-install: ${MKDIR} ${PREFIX}/share/doc/jed ${INSTALL_DATA} ${WRKSRC}/doc/README ${WRKSRC}/doc/*.txt \ ${PREFIX}/share/doc/jed - if [ ! -f ${PREFIX}/info/dir ]; then \ - ${SED} -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ - fi install-info --section="Miscellaneous" \ --entry="* JED: (jed). JED editor documentation." \ ${PREFIX}/info/jed.info ${PREFIX}/info/dir diff --git a/editors/jed/pkg-plist b/editors/jed/pkg-plist index 5bc7ba43bbf3..69994d4d0da7 100644 --- a/editors/jed/pkg-plist +++ b/editors/jed/pkg-plist @@ -6,7 +6,6 @@ info/jed.1in info/jed.2in info/jed.3in info/jed.info -@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir @exec install-info --section="Miscellaneous" --entry="* JED: (jed). JED editor documentation." %D/info/jed.info %D/info/dir lib/jed/bin/getmail lib/jed/lib/abbrev.sl |