At 22.36 06/02/02 +0100, Slawomir Pucia wrote: >As I don't see any purpose for the current name, I think we should rename it >to make_chm_index.html. This would prevent that file to show up in >revcheck.html.
+1 for me. changes to files in the /chm directory (make_chm*.*) are minimal.
