From e522024bd8dd28a0f13dcccfd39170698f45c939 Mon Sep 17 00:00:00 2001 From: Fujii Masao Date: Tue, 24 Nov 2020 17:00:16 +0900 Subject: [PATCH] doc: Get rid of unnecessary space character from some index items. Previously some index items have " ," (i.e., space + comma) in the docs as follows. Since the space character before the comma is unnecessary, this commit gets rid of that for the sake of consistency with other index items. parallel_leader_participation configuration parameter , Other Planner Options Author: Fujii Masao Reviewed-by: Euler Taveira Discussion: https://postgr.es/m/e87b4ddf-1498-2850-bf55-519df3928fd4@oss.nttdata.com --- doc/src/sgml/config.sgml | 5 +---- doc/src/sgml/pgtrgm.sgml | 8 ++------ 2 files changed, 3 insertions(+), 10 deletions(-) diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index a632cf98ba0..3795c570048 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5650,10 +5650,7 @@ SELECT * FROM parent WHERE key = 2400; parallel_leader_participation (boolean) - - parallel_leader_participation configuration - parameter - + parallel_leader_participation configuration parameter diff --git a/doc/src/sgml/pgtrgm.sgml b/doc/src/sgml/pgtrgm.sgml index 76806302db6..ca97c7ce00a 100644 --- a/doc/src/sgml/pgtrgm.sgml +++ b/doc/src/sgml/pgtrgm.sgml @@ -377,9 +377,7 @@ pg_trgm.word_similarity_threshold (real) - - pg_trgm.word_similarity_threshold configuration parameter - + pg_trgm.word_similarity_threshold configuration parameter @@ -394,9 +392,7 @@ pg_trgm.strict_word_similarity_threshold (real) - - pg_trgm.strict_word_similarity_threshold configuration parameter - + pg_trgm.strict_word_similarity_threshold configuration parameter