> On Oct 4, 2024, at 12:34, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> If so, the difference is that up to v16 we
> included prebuilt HTML docs in the tarballs, but as of v17 we don't.
> So "make world" now triggers a local docs build where before it
> didn't.
Ah! That would be it.