changed to generate the same *.html files as checked in