2
Vote

Regenerate PageList.xml if the generator is different

description

Regenerate PageList.xml if the generator (or its version) used to generate it is different than the current one. cf. Pages/@generator in PageList.xml

comments