"Jonathan S. Katz" <jkatz@postgresql.org> writes:
> On 11/11/20 10:43 AM, Tom Lane wrote:
>> I wonder if we should start passing "--nonet" to xmllint et al. I've
>> always felt that that silent reach into the internet was an anti-feature
>> on numerous grounds: it's slow, it's not very secure, it makes the results
>> uncertainly reproducible, etc etc etc.
> It was still bugging out for me locally with --nonet, but that could
> also be operator error.
The point of --nonet is that then you would *have to* install the DTDs
locally in order to build the docs.
(Well, I wouldn't be quite that draconian about it; if we do this,
I think it should be more like "we use --nonet by default but you can
override that".)
regards, tom lane