$platex  = "C:\\tex\\bin\\platex.exe";
$dviout  = "C:\\dviout\\dviout.exe";

// 現在のファイル名を取得
$texfile = basename2;
$dvifile = basename2;

// ファイル名はそのままで拡張子を `tex' から `dvi' に変更
#f_len =strlen($dvifile );          // ファイル名の文字数を取得

#cnt =#f_len -1;                    // カウンター変数の初期化
while(#cnt >0 ){
    $str =midstr($dvifile,#cnt,1 ); // 右側から一文字ずつ抜き出し「$str」に代入
    if($str ==".")break;            // もし拡張子の前に付く「.」だったらwhile文を抜ける
    #cnt =#cnt -1;                  // 「.」が無くてもカウンター変数が0になるとwhile文を抜ける
}
//ファイル名から拡張子のない名前を抜き出し `.dvi' を付加
$dvifile =leftstr($dvifile,#cnt )+".dvi";

runsync2 $platex + " " + $texfile;
run      $dviout + " " + $dvifile;