doc: Clarify refresh options for DROP PUBLICATION

The available refresh options are specified as refresh_options under
REFRESH PUBLICATION, and DROP PUBLICATION itself has an option named
refresh. Clarify what we mean by refresh options to avoid confusion.

Backpatch through v14 where ALTER SUBSCRIPTION ... DROP PUBLICATION
was introduced.

Author: Masahiko Sawada 
Reviewed-by: Amit Kapila 
Reviewed-by: Peter Eisentraut 
Reviewed-by: Peter Smith 
Discussion: https://postgr.es/m/CAD21AoCm1wJ3A8Q9EmBjRbShYkJ+o+Oa_z9O0hvwhvhUa2BSyg@mail.gmail.com
Backpatch-through: 14

diff --git a/doc/src/sgml/ref/alter_subscription.sgml b/doc/src/sgml/ref/alter_subscription.sgml
index acccde9b74f76c9841215b867beacf1ecf095efa..220b0de2aff3a23651c5bc22f2844a9222a3c276 100644 (file)
--- a/doc/src/sgml/ref/alter_subscription.sgml
+++ b/doc/src/sgml/ref/alter_subscription.sgml
@@ -126,8 +126,9 @@ ALTER SUBSCRIPTION name RENAME TO <
        
       
 
-      Additionally, refresh options as described
-      under REFRESH PUBLICATION may be specified.
+      Additionally, the options described under
+      REFRESH PUBLICATION may be specified, to control the
+      implicit refresh operation.