diff options
| author | jkh <jkh@FreeBSD.org> | 1994-11-23 21:04:37 +0800 |
|---|---|---|
| committer | jkh <jkh@FreeBSD.org> | 1994-11-23 21:04:37 +0800 |
| commit | eeb9ee9bbefde74baddee391b9a0871bf8d8013b (patch) | |
| tree | 23ec7dd61cff3fe3dfad19ab4d36ba409f2b2b06 /print/xdvi | |
| parent | fd36637c9e216c1fc47b79280b7541044bc7a939 (diff) | |
| download | freebsd-ports-gnome-eeb9ee9bbefde74baddee391b9a0871bf8d8013b.tar.gz freebsd-ports-gnome-eeb9ee9bbefde74baddee391b9a0871bf8d8013b.tar.zst freebsd-ports-gnome-eeb9ee9bbefde74baddee391b9a0871bf8d8013b.zip | |
This is an INTERACTIVE port - make sure that it's own install rule
plays by the proper rules too, then.
Diffstat (limited to 'print/xdvi')
| -rw-r--r-- | print/xdvi/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/print/xdvi/Makefile b/print/xdvi/Makefile index c078e471f461..7ebc7e5a8d12 100644 --- a/print/xdvi/Makefile +++ b/print/xdvi/Makefile @@ -5,6 +5,7 @@ USE_IMAKE= yes USE_GMAKE= yes IS_INTERACTIVE= yes +.if !defined(BATCH) install: @echo "===> Installing for ${DISTNAME}" @mkdir -p /usr/local/man/man1 @@ -14,5 +15,6 @@ install: @(cd ${WRKSRC}; ${GMAKE} ${MAKE_FLAGS} ${MAKEFILE} xdvi.man) @(cd ${WRKSRC}; ${GMAKE} -f Makefile install BINDIR=${PREFIX}/bin) @(cd ${WRKSRC}; install -c -m 755 -o bin MakeTeXPK ${PREFIX}/bin) +.endif .include <bsd.port.mk> |