diff options
Diffstat (limited to 'editors/jed/Makefile')
| -rw-r--r-- | editors/jed/Makefile | 5 |
1 files changed, 1 insertions, 4 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 |