diff options
author | vanilla <vanilla@FreeBSD.org> | 1998-02-02 22:41:18 +0800 |
---|---|---|
committer | vanilla <vanilla@FreeBSD.org> | 1998-02-02 22:41:18 +0800 |
commit | 45d23e6590029648dc2584f7b4156ccf707662b2 (patch) | |
tree | 264c16ffacdb352bfe936181c7a396404e45f5a2 | |
parent | 4711c255fcaed30420021026c670c287c0767d2c (diff) | |
download | freebsd-ports-gnome-45d23e6590029648dc2584f7b4156ccf707662b2.tar.gz freebsd-ports-gnome-45d23e6590029648dc2584f7b4156ccf707662b2.tar.zst freebsd-ports-gnome-45d23e6590029648dc2584f7b4156ccf707662b2.zip |
portlint, use ${INSTALL} instead install.
-rw-r--r-- | mail/pine4/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mail/pine4/Makefile b/mail/pine4/Makefile index 0749164328f6..864c342869ed 100644 --- a/mail/pine4/Makefile +++ b/mail/pine4/Makefile @@ -4,7 +4,7 @@ # Date created: 03 September 1994 # Whom: mr # -# $Id: Makefile,v 1.20 1997/02/06 08:45:06 asami Exp $ +# $Id: Makefile,v 1.21 1997/03/26 02:12:07 ache Exp $ # DISTNAME= pine3.96 @@ -17,7 +17,7 @@ MAINTAINER= ports@FreeBSD.org MAN1= pine.1 pico.1 pilot.1 post-install: - install -d -o ${SHAREOWN} -g ${SHAREGRP} -m 755 \ + ${INSTALL} -d -o ${SHAREOWN} -g ${SHAREGRP} -m 755 \ ${PREFIX}/share/doc/pine cd ${WRKSRC} && \ ${INSTALL_DATA} doc/tech-notes.txt ${PREFIX}/share/doc/pine |