Re: Documentation building broken in CFBot

On Wed, Nov 11, 2020 at 4:43 PM 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.

I think we should. It would also lead to "break early" which is easier
to diagnose than "break at a random point when someone external
changed something".

--
Magnus Hagander
Me: https://www.hagander.net/
Work: https://www.redpill-linpro.com/