Fix XML id to match GUC name
authorPeter Eisentraut
Wed, 30 Sep 2020 05:39:38 +0000 (07:39 +0200)
committerPeter Eisentraut
Wed, 30 Sep 2020 05:39:38 +0000 (07:39 +0200)
commit300b6984a58ad48d0ff2eb2f35c745613f07ad9c
tree54bc5896a74dd03ec0e96f0cc9ae0b25f663d604
parent151c0c5f7277fd572ec02cb4ee992fdd23365a2f
Fix XML id to match GUC name

For some reason, the id of the description of
max_parallel_maintenance_workers has been
guc-max-parallel-workers-maintenance since the beginning.  Flip that
around to make it consistent.
doc/src/sgml/config.sgml
doc/src/sgml/ref/create_index.sgml
doc/src/sgml/ref/vacuum.sgml