Re: Documentation building broken in CFBot

On 11/11/20 10:43 AM, Tom Lane 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.

It was still bugging out for me locally with --nonet, but that could
also be operator error.

Agree overall though, it seems to go against the grain of a lot of the
other things that we do. We do make a network request for loading the
website styles when building the docs, but that is also an optional
feature. Right now, I can't even get "make html" to successfully run.

Jonathan