> On Oct 4, 2024, at 12:34, Tom Lane <tgl@xxxxxxxxxxxxx> 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.
