古いファイルを出力しないように

HTML出力機能ではファイルの出力をする時に、ドキュメントの内容が更新されていなくても上書きでファイルを出力していました。

ローカルで使っている分にはこれでも問題ないと思いますが、HTMLファイルをWeb上に公開している場合、変更していないのにファイルが更新されてしまうというのは良くない場面も出てきます。

ということで、出力の際にファイルのタイムスタンプを見て、変更していない(ドキュメントファイルよりもHTMLファイルが新しい)場合にはHTMLファイル出力をしないという形にしました。

設定で未更新のファイルも出力できるようにもしておきますが、あまり使われないだろうなと思います。