> On Oct 4, 2024, at 12:05, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> Yeah, that's what it looks like. I'm a bit confused though because
> 16.x should have failed the same way: building our docs without local
> DTDs has failed for well over a year now [1].
To add confusion to the fire, I was successfully building pre-17 versions ("make world") locally on MacOS fine without
havingto install the documentation tools. It wasn't until 17 that it failed (and installing the doc tools as
recommendedfixed it).