diff options
| author | asami <asami@FreeBSD.org> | 1996-09-21 07:15:33 +0800 |
|---|---|---|
| committer | asami <asami@FreeBSD.org> | 1996-09-21 07:15:33 +0800 |
| commit | de01fd5c0f335ac6b0c7b9d755f8d9682131e2ae (patch) | |
| tree | 5161a6a90e6617bb475738716ef7da4263cd7820 /japanese/dvi2tty | |
| parent | 91a94814f4869589ffad1a13f2f95edd4eee0bba (diff) | |
| download | freebsd-ports-gnome-de01fd5c0f335ac6b0c7b9d755f8d9682131e2ae.tar.gz freebsd-ports-gnome-de01fd5c0f335ac6b0c7b9d755f8d9682131e2ae.tar.zst freebsd-ports-gnome-de01fd5c0f335ac6b0c7b9d755f8d9682131e2ae.zip | |
Use ${INSTALL_MAN}, not ${INSTALL_DATA}, for man page installation.
(I know I know, it's the same thing, but it's the principle of things!)
Reviewed by: max
Diffstat (limited to 'japanese/dvi2tty')
| -rw-r--r-- | japanese/dvi2tty/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/japanese/dvi2tty/Makefile b/japanese/dvi2tty/Makefile index 691f68d52228..a1ac62f7e88e 100644 --- a/japanese/dvi2tty/Makefile +++ b/japanese/dvi2tty/Makefile @@ -3,7 +3,7 @@ # Date created: 30 Mar. 1996 # Whom: Masafumi NAKANE <max@FreeBSD.ORG> # -# $Id: Makefile,v 1.3 1996/09/17 15:06:35 max Exp $ +# $Id: Makefile,v 1.4 1996/09/20 22:44:41 max Exp $ # DISTNAME= dvi2tty5.0 @@ -24,7 +24,7 @@ PATCH_DIST_STRIP= -p1 do-install: (for f in jdvi2tty disdvi ; do \ ${INSTALL_PROGRAM} ${WRKSRC}/$$f ${PREFIX}/bin ; done) - ${INSTALL_DATA} ${WRKSRC}/dvi2tty.1 ${PREFIX}/man/man1 + ${INSTALL_MAN} ${WRKSRC}/dvi2tty.1 ${PREFIX}/man/man1 -ln -sf ${PREFIX}/bin/jdvi2tty ${PREFIX}/bin/dvi2tty .if !defined(NOMANCOMPRESS) @gzip -9f ${PREFIX}/man/man1/dvi2tty.1 |