Put doxygen in the archive