This seems to have broken "make dist" as well as PDF buildingon v13:
https://buildfarm.postgresql.org/cgi-bin/show_log.pl?nm=guaibasaurus&dt=2020-10-19%2005%3A33%3A03 https://buildfarm.postgresql.org/cgi-bin/show_log.pl?nm=alabio&dt=2020-10-19%2008%3A25%3A54 HEAD looks ok. //Magnus On Mon, Oct 19, 2020 at 6:21 AM Amit Kapila <[email protected]> wrote: > Change the docs for PARALLEL option of Vacuum. > > The rules to choose the number of parallel workers to perform parallel > vacuum operation were not clearly specified. > > Reported-by: Peter Eisentraut > Author: Amit Kapila > Backpatch-through: 13, where it was introduced > Discussion: > https://postgr.es/m/[email protected] > > Branch > ------ > REL_13_STABLE > > Details > ------- > > https://git.postgresql.org/pg/commitdiff/99ae342fc4ffe5f9a6ec7f540c5a31fb483b06e6 > > Modified Files > -------------- > doc/src/sgml/ref/vacuum.sgml | 32 ++++++++++++++++---------------- > 1 file changed, 16 insertions(+), 16 deletions(-) > >
