diff options
| author | jmz <jmz@FreeBSD.org> | 1995-04-22 08:16:06 +0800 |
|---|---|---|
| committer | jmz <jmz@FreeBSD.org> | 1995-04-22 08:16:06 +0800 |
| commit | 8ae358040ef1dae3e89628f26e4197b19ed6941d (patch) | |
| tree | 587ce29f7ee53158bd6e16c284cc87f98eb796c9 /print/xdvi | |
| parent | b392f05bed17ff3df3e32b6db773f747b0d99724 (diff) | |
| download | freebsd-ports-gnome-8ae358040ef1dae3e89628f26e4197b19ed6941d.tar.gz freebsd-ports-gnome-8ae358040ef1dae3e89628f26e4197b19ed6941d.tar.zst freebsd-ports-gnome-8ae358040ef1dae3e89628f26e4197b19ed6941d.zip | |
Cosmetic changes.
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: \ |