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