Regenerated Doxygen