diff options
| author | Masafumi Max NAKANE <max@FreeBSD.org> | 1997-10-13 23:23:45 +0000 |
|---|---|---|
| committer | Masafumi Max NAKANE <max@FreeBSD.org> | 1997-10-13 23:23:45 +0000 |
| commit | a47bab2c72c5686789a105a567c0a2e085964214 (patch) | |
| tree | 963480baac1955a82d70fa8453bfa9253304cb4c /japanese/vfxdvi300 | |
| parent | Update this port to reflect the recent changes to japanese/ptex-* ports. (diff) | |
Change the default font path to reflect the recent changes to the
japanese/ptex* ports.
PR: 4754
Submitted by: maintainer
Notes
Notes:
svn path=/head/; revision=8254
Diffstat (limited to 'japanese/vfxdvi300')
| -rw-r--r-- | japanese/vfxdvi300/files/customize.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/japanese/vfxdvi300/files/customize.sh b/japanese/vfxdvi300/files/customize.sh index 5a3c08d6f554..acbd52c4af70 100644 --- a/japanese/vfxdvi300/files/customize.sh +++ b/japanese/vfxdvi300/files/customize.sh @@ -1,7 +1,7 @@ #!/bin/sh # usage sh customize.sh ${RESOLUTION} [BATCH] -DEFAULT_FONT_PATH=.:/usr/local/lib/fonts/pk$1:/usr/local/share/tex/jfonts/jfms:/usr/local/lib/texmf/fonts/public/ptex/tfm +DEFAULT_FONT_PATH=.:/usr/local/lib/fonts/pk$1:/usr/local/share/tex/jfonts/jfms:/usr/local/lib/texmf/fonts/public/ptex/tfm:/usr/local/share/texmf/fonts/tfm/ptex DONE=no if [ $# = 2 ] ; then @@ -11,13 +11,13 @@ fi echo "Check directory for pkfonts (resolution:$1) and ASCII jTeX's tfm files." echo echo "Default is .:/usr/local/lib/fonts/pk$1:/usr/local/share/tex/jfonts/jfms:\\" -echo " :/usr/local/lib/texmf/fonts/public/ptex/tfm" +echo " :/usr/local/lib/texmf/fonts/public/ptex/tfm:/usr/local/share/texmf/fonts/tfm/ptex" echo "If you use jlatex of ports collection, it should be OK." echo while [ "$DONE" != "yes" ] do - lib "Is it OK (y/n)[y]?" + echo "Is it OK (y/n)[y]?" read ans case x"${ans}" in xN*|xn*) |