Re: BUG #16972: parameter parallel_leader_participation's category problem

On Thu, Apr 22, 2021 at 10:30 AM Michael Paquier <michael@paquier.xyz> wrote:
>
> On Thu, Apr 22, 2021 at 06:32:57AM +0530, Bharath Rupireddy wrote:
> > Thanks for the correction! I never compiled doc changes, I will ensure to
> > do so from now on.
>
> That may help:
> https://www.postgresql.org/docs/devel/docguide-toolsets.html

Thanks. I was able to install the required packages on my dev system,
ran "make check" on the docs and saw the error that was happening on
v2 patch.

With Regards,
Bharath Rupireddy.
EnterpriseDB: http://www.enterprisedb.com