diff options
| author | Jean-Marc Zucconi <jmz@FreeBSD.org> | 1995-04-22 16:52:18 +0000 |
|---|---|---|
| committer | Jean-Marc Zucconi <jmz@FreeBSD.org> | 1995-04-22 16:52:18 +0000 |
| commit | efde37bf6bb6e67f8ddcfd37b0c296512f77768e (patch) | |
| tree | dbfe12223a452ea1eaf70eddf1999b901a89e3f0 | |
| parent | 52d947c22f4175a91c53d31f51fb1211f2af58e9 (diff) | |
| download | freebsd-ports-efde37bf6bb6e67f8ddcfd37b0c296512f77768e.zip | |
Cosmetic changes
| -rw-r--r-- | print/dvips/scripts/configure | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/print/dvips/scripts/configure b/print/dvips/scripts/configure index 309b216d2b04..6db0e2d8ffd9 100644 --- a/print/dvips/scripts/configure +++ b/print/dvips/scripts/configure @@ -10,8 +10,10 @@ fi CACHE=$prefix/lib/texmf/fonts if [ -f $prefix/bin/MakeTeXPK ]; then + echo echo "**WARNING** MakeTeXPK already exists in $PREFIX/bin" - echo "This file will be replaced during install." + echo "**WARNING** This file will be replaced during install." + echo fi @@ -33,8 +35,10 @@ for i in $RES; do shift done -rm -f $SCRIPTDIR/install.tmp +rm -f $SCRIPTDIR/post-install +echo echo "Choose a font directory for automatic font generation." +echo "------------------------------------------------------" echo "The default directory is $CACHE. If you" echo "don't want to make this directory world writable, then you" echo "can choose eg. /tmp. Then you will have to periodically move " @@ -43,7 +47,7 @@ echo -n "font directory [$CACHE]: " read answ; if [ "$answ" != "" ]; then CACHE=$answ; else - echo "mkdir -p $CACHE/pk; chmod 1777 $CACHE/pk" > $SCRIPTDIR/install.tmp + echo "mkdir -p $CACHE/pk; chmod 1777 $CACHE/pk" > $SCRIPTDIR/post-install fi sed -e s:/usr/lib/tex:/$PREFIX/lib/texmf: \ |