Re: fix prev link in docs

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