Update Doxygen generated html files.