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
