Fixed accidental push of doxy_config.