@echo off
REM dvi ファイルを pdf ファイルにするためのバッチファイル
REM prosper 用
if "%1"=="" goto err
goto OK
:err
echo usage: mydvipdf dviファイル名（拡張子を除く）
goto fin
REM
:OK
dvipsk -t a4 -Ppdf -z -f %1.dvi | bkmk2uni > %1.ps
call ps2pdf -sPAPERSIZE#a4 %1.ps %1.pdf
start %1.pdf
REM start %1.pdf は拡張子 .pdf に適当なソフトが関連付けられており、
REM かつ、拡張機能が ON になっていることを仮定している。
REM そうでない場合は、start の代わりに Acrobat Reader 等のパスを指定する。
del %1.ps
:fin