普通はファイルを上書きしたり、フォルダ内のファイルを移動したりするとファイルのタイムスタンプが更新されるし、フォルダもその中のファイルが変更されれば更新される。 特に更新を手動で行なうような操作は不要。 たとえばF5キーを押すとか。 原因は不明…