diff options
| author | Jordan K. Hubbard <jkh@FreeBSD.org> | 1994-11-23 13:04:37 +0000 |
|---|---|---|
| committer | Jordan K. Hubbard <jkh@FreeBSD.org> | 1994-11-23 13:04:37 +0000 |
| commit | 59508be20d14ef2c58d27298081f021f048442c5 (patch) | |
| tree | b3687582ac6f45db49d1690e345e842b040b810c /print/xdvi | |
| parent | 4da66dcc6b3e597a4fa9283bf3518c2859916796 (diff) | |
| download | ports-59508be20d14ef2c58d27298081f021f048442c5.tar.gz ports-59508be20d14ef2c58d27298081f021f048442c5.zip | |
Notes
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> |