@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
start %1.ps
REM start %1.ps は拡張子 .ps に Distiller が関連付けられており、
REM かつ、拡張機能が ON になっていることを仮定している。
REM そうでない場合は、start の代わりに Acrobat Distiller のパスを指定する。
:fin