On 2020-11-11 21:04, Daniel Gustafsson wrote:
>> On 11 Nov 2020, at 16:43, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>>
>> Daniel Gustafsson <daniel@yesql.se> writes:
>>>> On 11 Nov 2020, at 15:51, Jonathan S. Katz <jkatz@postgresql.org> wrote:
>>>> I do wonder if it's worth it to update the doc build documentation[1] as
>>>> well to mention this?
>>
>>> Well, ideally you would never encounter this error if you install the packages
>>> listed as required.
>>
>> 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.
>
> ..and it will most likely come as a surprise to most. I think we should start
> doing that.
How about this patch.