> On Oct 4, 2024, at 12:05, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)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 having to install the documentation tools. It wasn't until 17 that it failed (and installing the doc tools as recommended fixed it).