History doxygen-1.7.1-config.patch