diff options
author | Jean-Marc Zucconi <jmz@FreeBSD.org> | 1997-02-18 16:57:35 +0000 |
---|---|---|
committer | Jean-Marc Zucconi <jmz@FreeBSD.org> | 1997-02-18 16:57:35 +0000 |
commit | debd26aecc28e6c7fcf13e4d2bbf0e4aad3d84ea (patch) | |
tree | b58f85490eb64ab9978507180027e78009522c7b /print/dvi2xx | |
parent | www/sawt --> devel/sawt (diff) |
Update to take into account the changes in the tex port (mainly ${PREFIX}/lib
-> ${PREFIX}/share)
Diffstat (limited to 'print/dvi2xx')
-rw-r--r-- | print/dvi2xx/scripts/configure | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/print/dvi2xx/scripts/configure b/print/dvi2xx/scripts/configure index 1e667640720d..cb24e29faa5f 100644 --- a/print/dvi2xx/scripts/configure +++ b/print/dvi2xx/scripts/configure @@ -8,8 +8,8 @@ sed -e s:/usr/local/bin/perl:/usr/bin/perl: \ -e s:/usr/local:$PREFIX: <lj3-filter.orig >lj3-filter mv config.h config.h.orig || exit 1; -sed -e s+/usr/local/lib/tex/pk300+$PREFIX/lib/texmf/fonts/pk:/tmp/pk+ \ - -e s+/usr/local/lib/tex/+$PREFIX/lib/texmf/+ < config.h.orig > config.h +sed -e s+/usr/local/lib/tex/pk300+$PREFIX/share/texmf/fonts/pk:/tmp/pk+ \ + -e s+/usr/local/lib/tex/+$PREFIX/share/texmf/+ < config.h.orig > config.h chmod +w Makefile || exit 1; echo "FONTAREA=" >> Makefile || exit 1; @@ -41,7 +41,7 @@ cat >>MakeTeXPK <<'EOF' # # Of course, it needs to be set up for your site. # -TEXDIR=$PREFIX/lib/texmf +TEXDIR=$PREFIX/share/texmf LOCALDIR=/tmp DESTDIR=$LOCALDIR/pk # @@ -105,7 +105,7 @@ then fi # Something like the following is useful at some sites. -# DESTDIR=/usr/local/lib/tex/fonts/pk.$MODE +# DESTDIR=/usr/local/share/tex/fonts/pk.$MODE GFNAME=$NAME.$DPI'gf' PKNAME=$NAME.$DPI'pk' |