[Flush]


よく使うフォントの所在の記録(dvioutの起動を高速化するために用いる)を消去します(cf.-Fkeep:)。

注意: -TEXPK:-TEXROOT: を変更した場合、記録のフォーマットのバージョンが異なる場合、フォントファイルを移動した場合などは、自動的に記録が消去されます。よって、[Flush]ボタンを押す必要は少ないでしょう。-ttf: [WinJFont]での欧文フォントの設定を変えた場合は、[Flush]を使う必要があることがあります。