Actually commit the Doxygen installation