Remove the html folder in the Doxygen documentation