diff options
author | Masafumi Max NAKANE <max@FreeBSD.org> | 1997-10-14 07:23:45 +0800 |
---|---|---|
committer | Masafumi Max NAKANE <max@FreeBSD.org> | 1997-10-14 07:23:45 +0800 |
commit | a47bab2c72c5686789a105a567c0a2e085964214 (patch) | |
tree | 963480baac1955a82d70fa8453bfa9253304cb4c /japanese | |
parent | 797ede5432d3d9d6b57b7355d25ab6381693333e (diff) | |
download | freebsd-ports-a47bab2c72c5686789a105a567c0a2e085964214.tar.gz freebsd-ports-a47bab2c72c5686789a105a567c0a2e085964214.tar.zst freebsd-ports-a47bab2c72c5686789a105a567c0a2e085964214.zip |
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')
-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*) |