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
signature.asc
Description: PGP signature