複数のWinTpicのファイルをepsファイルにするバッチファイル。
wtpic2eps.batのようなファイル名のテキストファイルに保存して、 それにWinTpicのファイルをドロップする。
for %%V in (%*) do ( echo \documentclass[10pt]{article}>dummy.tex echo \usepackage{color}>>dummy.tex echo \pagestyle{empty}>>dummy.tex echo \begin{document}\thispagestyle{empty}>>dummy.tex echo \input{%%~nV%%~xV}>>dummy.tex echo \end{document}>>dummy.tex platex dummy.tex platex dummy.tex pdflatex dummy.tex dvips -E -t unknown -D9600 -Z -o %%~nV.eps dummy.dvi rem dvips -t unknown -o %%~nV.ps dummy.dvi rem ps2epsi %%~nV.ps %%~nV.eps )