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