Renamed doxygen file to proper extension.