scripts to generate HTML files and copy to destination web servers