複数のWinTpicのファイルをEPSファイルに

複数の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
)