diff options
| -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> |