From e315346d839ef27f9d5f2584f44de09f08573df2 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Wed, 26 Apr 2017 12:05:11 -0400 Subject: [PATCH] doc: ALTER SUBSCRIPTION documentation fixes WITH is optional for REFRESH PUBLICATION. Also, remove a spurious bracket and fix a punctuation. Author: Euler Taveira --- doc/src/sgml/ref/alter_subscription.sgml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/src/sgml/ref/alter_subscription.sgml b/doc/src/sgml/ref/alter_subscription.sgml index f71ee38b40..35aeb6af41 100644 --- a/doc/src/sgml/ref/alter_subscription.sgml +++ b/doc/src/sgml/ref/alter_subscription.sgml @@ -21,7 +21,7 @@ PostgreSQL documentation -ALTER SUBSCRIPTION name WITH ( suboption [, ... ] ) ] +ALTER SUBSCRIPTION name WITH ( suboption [, ... ] ) where suboption can be: @@ -29,7 +29,7 @@ ALTER SUBSCRIPTION name WITH ( synchronous_commit ALTER SUBSCRIPTION name SET PUBLICATION publication_name [, ...] { REFRESH WITH ( puboption [, ... ] ) | NOREFRESH } -ALTER SUBSCRIPTION name REFRESH PUBLICATION WITH ( puboption [, ... ] ) +ALTER SUBSCRIPTION name REFRESH PUBLICATION [ WITH ( puboption [, ... ] ) ] where puboption can be: @@ -54,7 +54,7 @@ ALTER SUBSCRIPTION name DISABLE To alter the owner, you must also be a direct or indirect member of the - new owning role. The new owner has to be a superuser + new owning role. The new owner has to be a superuser. -- 2.40.0