print/ja-vfxdvik

[MASUDA Hideo <h-masuda@ootani.nagata.kobe.jp>]

  どうも、桝田です。

  print/ja-vfxdvik ですが、"print" を押した場合に $PKG/bin/vfxdviprint
が呼ばれますが、この中では、日本語に対応した pdvips ではなく、original
の dvips が動いてしまいます。
  "ja"-vfxdvik と名乗っている意味では、pdvips を呼び出すようにしておく
か、呼び出せるようにする必要があると思います。
＃ さらに ja-ptex-bin に DEPEND する必要がありそうですが。

  が、ちょっと patch の当てる場所が分からなかったので、とりあえず表明
です。

# diff -u vfxdviprint.ORIG vfxdviprint
--- vfxdviprint.ORIG    2003-08-25 18:16:53.000000000 +0900
+++ vfxdviprint 2003-11-20 15:42:09.000000000 +0900
@@ -15,7 +15,7 @@
 ######
 ## for dvips
 FILTOPTTBL=${XDVIFILTOPTTBL:-/usr/pkg/share/texmf.local/vfxdvi/xdvipaper.dvips}
-DVIPSCMD="dvips -f -t"
+DVIPSCMD="${DVIPS:-pdvips} -f -t"
 ####
 ## for dvi2ps
 # FILTOPTTBL=${XDVIFILTOPTTBL:-/usr/pkg/share/texmf.local/vfxdvi/xdvipaper.dvi2ps-j}

---
  桝田 秀夫＠大谷.長田.神戸.日本 h-masuda@ootani.nagata.kobe.jp