diff options
| author | Jean-Marc Zucconi <jmz@FreeBSD.org> | 1997-02-10 02:08:55 +0000 |
|---|---|---|
| committer | Jean-Marc Zucconi <jmz@FreeBSD.org> | 1997-02-10 02:08:55 +0000 |
| commit | 36bf03e6a06fcf59dfe432956ae8352d1e035ecb (patch) | |
| tree | 0d3cb3d5f250ceba2f6af91cad485eca257c4179 /print/xdvi | |
| parent | fc644e6fe1ac6e0c5e1a6d91ea8a95f008532fe4 (diff) | |
| download | ports-36bf03e6a06fcf59dfe432956ae8352d1e035ecb.tar.gz ports-36bf03e6a06fcf59dfe432956ae8352d1e035ecb.zip | |
Notes
Diffstat (limited to 'print/xdvi')
| -rw-r--r-- | print/xdvi/scripts/configure | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/print/xdvi/scripts/configure b/print/xdvi/scripts/configure index 944370bc327c..9e64bc431f27 100644 --- a/print/xdvi/scripts/configure +++ b/print/xdvi/scripts/configure @@ -7,7 +7,7 @@ prefix=$PREFIX; if `echo $PREFIX |grep -q X11` ; then prefix=/usr/local fi -CACHE=$prefix/lib/texmf/fonts +CACHE=$prefix/share/texmf/fonts if [ -f $PREFIX/bin/MakeTeXPK ]; then echo "**WARNING** MakeTeXPK already exists in $PREFIX/bin" @@ -50,8 +50,9 @@ else echo "mkdir -p $CACHE/pk; chmod 1777 $CACHE/pk" > $SCRIPTDIR/post-install fi -sed -e s:/usr/lib/tex:$prefix/lib/texmf: \ +sed -e s:/usr/lib/tex:$prefix/share/texmf: \ -e s:/LocalLibrary/Fonts/TeXFonts:$CACHE: \ + -e s:-v:-verbose: \ $SUBST <${WRKSRC}/MakeTeXPK.orig >${WRKSRC}/MakeTeXPK @@ -59,6 +60,6 @@ sed -e s:/usr/lib/tex:$prefix/lib/texmf: \ chmod +w ${WRKSRC}/Imakefile echo "OSDEFS=" >> ${WRKSRC}/Imakefile || exit 1; echo "OPTIONDEFS=-DUSE_PK -DGREY -DPS_GS -DMAKEPK -DBUTTONS" >> ${WRKSRC}/Imakefile -echo "DEFAULT_FONT_PATH=$prefix/lib/texmf/fonts/pk:$CACHE/pk:/tmp/pk" >> ${WRKSRC}/Imakefile -echo "DEFAULT_VF_PATH=$prefix/lib/texmf/fonts/vf" >> ${WRKSRC}/Imakefile +echo "DEFAULT_FONT_PATH=$prefix/share/texmf/fonts/pk:$CACHE/pk:/tmp/pk" >> ${WRKSRC}/Imakefile +echo "DEFAULT_VF_PATH=$prefix/share/texmf/fonts/vf" >> ${WRKSRC}/Imakefile exit 0; |