diff options
| author | Jean-Marc Zucconi <jmz@FreeBSD.org> | 1995-04-22 00:16:06 +0000 |
|---|---|---|
| committer | Jean-Marc Zucconi <jmz@FreeBSD.org> | 1995-04-22 00:16:06 +0000 |
| commit | 43b6162b0690f086ae2e6d0f076d56d77f7b2cda (patch) | |
| tree | 375355502b8c1fbd30e650513276c4904aa02e59 /print/xdvi | |
| parent | f53d67c7e8ced503a62e337e3d352a6d8246e640 (diff) | |
| download | ports-43b6162b0690f086ae2e6d0f076d56d77f7b2cda.tar.gz ports-43b6162b0690f086ae2e6d0f076d56d77f7b2cda.zip | |
Notes
Diffstat (limited to 'print/xdvi')
| -rw-r--r-- | print/xdvi/scripts/configure | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/print/xdvi/scripts/configure b/print/xdvi/scripts/configure index 5012040149ec..1f6a4cf26f7a 100644 --- a/print/xdvi/scripts/configure +++ b/print/xdvi/scripts/configure @@ -11,7 +11,8 @@ CACHE=$prefix/lib/texmf/fonts if [ -f $prefix/bin/MakeTeXPK ]; then 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 if [ ! -f ${WRKSRC}/MakeTeXPK.orig ]; then @@ -34,8 +35,10 @@ for i in $RES; do fi 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 " @@ -44,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: \ |