Re: Documentation building broken in CFBot

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.

            regards, tom lane