Re: Documentation building broken in CFBot

> On 13 Nov 2020, at 12:16, Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com> wrote:
>
> On 2020-11-11 21:04, Daniel Gustafsson wrote:
>>> On 11 Nov 2020, at 16:43, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>>>
>>> Daniel Gustafsson <daniel(at)yesql(dot)se> writes:
>>>>> On 11 Nov 2020, at 15:51, Jonathan S. Katz <jkatz(at)postgresql(dot)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.

LGTM, thanks.

cheers ./daniel