Re: fix prev link in docs

[Nathan Bossart]

On Wed, Jun 17, 2026 at 03:25:41PM -0400, Tom Lane wrote:
> Fixes the build-time problem for me, thanks!

Committed.

-- 
nathan