diff options
| author | jmz <jmz@FreeBSD.org> | 1995-06-14 04:59:35 +0800 |
|---|---|---|
| committer | jmz <jmz@FreeBSD.org> | 1995-06-14 04:59:35 +0800 |
| commit | c091f418dde01d5d1363c8071fce9aa2b7e51efc (patch) | |
| tree | 812eb9a082d430503cd86e0f49703b4576aad40f /print/xdvi/scripts | |
| parent | 3ccdbcd677fa26104b8a6ceb58eef2588ce080df (diff) | |
| download | freebsd-ports-gnome-c091f418dde01d5d1363c8071fce9aa2b7e51efc.tar.gz freebsd-ports-gnome-c091f418dde01d5d1363c8071fce9aa2b7e51efc.tar.zst freebsd-ports-gnome-c091f418dde01d5d1363c8071fce9aa2b7e51efc.zip | |
Upgrade: patchlevel 18 -> 20
Diffstat (limited to 'print/xdvi/scripts')
| -rw-r--r-- | print/xdvi/scripts/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/print/xdvi/scripts/configure b/print/xdvi/scripts/configure index 1f6a4cf26f7a..944370bc327c 100644 --- a/print/xdvi/scripts/configure +++ b/print/xdvi/scripts/configure @@ -9,7 +9,7 @@ if `echo $PREFIX |grep -q X11` ; then fi CACHE=$prefix/lib/texmf/fonts -if [ -f $prefix/bin/MakeTeXPK ]; then +if [ -f $PREFIX/bin/MakeTeXPK ]; then echo "**WARNING** MakeTeXPK already exists in $PREFIX/bin" echo "**WARNING** This file will be replaced during install." echo |