HTML出力機能ではファイルの出力をする時に、ドキュメントの内容が更新されていなくても上書きでファイルを出力していました。ローカルで使っている分にはこれでも問題ないと思いますが、HTMLファイルをWeb上に公開している場合、変更していないのにファイル…