力技的インデックス更新

ファイルの作成/変更/削除時のインデックス更新処理に少々悩んでいたが、考えてみれば何らかの変更があった時にインデックスファイルを新たに作れば、一々変更箇所を探して書き換えなくても常に最新の状態が保たれることになる。
エレガントな解ではないような気もするが、そもそもエレガントな組み方などできよう筈もないので気にしない。