2009-03-01から1日間の記事一覧
W32TeX の -shell-escape の省略形 -sh オプションが obsolete になったようなので，それに合わせて修正しました． platex へ渡すオプションを -sh から -shell-escape へ変更
W32TeX の -shell-escape の省略形 -sh オプションが obsolete になったようなので，それに合わせて修正しました． platex へ渡すオプションを -sh から -shell-escape へ変更
