On Fri, Nov 27, 2020 at 10:29:24AM -0500, Tom Lane wrote:
> To me, it makes sense to have an option to do that, but I do find it
> surprising that it's the default.
But there is no need for an option, right? It is already possible to
override the location where xmllint looks for the catalogs by setting
SGML_CATALOG_FILES and XML_CATALOG_FILES. Not sure for SUSE, but one
can use /etc/{sgml,xml}/catalog on Debian, allowing the configure
check to rely on what's stored locally, making configure not rely on
any external resource.
--
Michael