doc: ALTER SUBSCRIPTION documentation fixes

WITH is optional for REFRESH PUBLICATION.  Also, remove a spurious
bracket and fix a punctuation.

Author: Euler Taveira 

diff --git a/doc/src/sgml/ref/alter_subscription.sgml b/doc/src/sgml/ref/alter_subscription.sgml
index f71ee38b40cfaff06f69a2a4f62fdc1e2f069b73..35aeb6af41301f428420cdbbf7605a6f695c5b35 100644 (file)
--- 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 = 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.