On Wed, Jun 17, 2026 at 01:40:07PM -0400, Tom Lane wrote:
> I noticed that building the HTML docs got really painfully slower
> recently, and the reason seems to be this patch. If you look
> at guaibasaurus' runtimes for instance:
>
> https://buildfarm.postgresql.org/cgi-bin/show_log.pl?nm=guaibasaurus&dt=2026-06-15%2012%3A20%3A02
>
> https://buildfarm.postgresql.org/cgi-bin/show_log.pl?nm=guaibasaurus&dt=2026-06-15%2020%3A20%3A02
>
> the time for the "make-doc" step went from 00:46 right before
> this patch to 3:39 right afterward. That's consistent with
> what I'm seeing locally. I don't find that acceptable.
Oh, interesting. I somehow hadn't noticed that in my testing. I had a
more invasive form of the patch that I think might improve matters.
Double-checking...
--
nathan
