"doc/doxygen/Doxyfile.in" did not exist on "80f173f05bf0717e715e16c36462c1a2fd6bf29b"