Fix update.bat not copying html file correctly.