diff options
| author | jmz <jmz@FreeBSD.org> | 1995-04-23 00:52:18 +0800 |
|---|---|---|
| committer | jmz <jmz@FreeBSD.org> | 1995-04-23 00:52:18 +0800 |
| commit | f7c186ead32ad81d0549c9ad19a1415e05b609b3 (patch) | |
| tree | bef5406121165df5ca9556030cb861c58cddebeb /print | |
| parent | 389e6fd9646f293dbf78f1712b9a71ecdf710a86 (diff) | |
| download | freebsd-ports-gnome-f7c186ead32ad81d0549c9ad19a1415e05b609b3.tar.gz freebsd-ports-gnome-f7c186ead32ad81d0549c9ad19a1415e05b609b3.tar.zst freebsd-ports-gnome-f7c186ead32ad81d0549c9ad19a1415e05b609b3.zip | |
Cosmetic changes
Diffstat (limited to 'print')
| -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: \ |