Replace the content of the html folder by unzipping html.zip.
I have zipped the documentation since Doxygen changes every file each time it runs.
This makes viewing changes on GitHub difficult.