Hi all,
When reading the doc of ALTER SUBSCRIPTION I realized that 'refresh
options' in the following paragraph is not tagged:
---
Additionally, refresh options as described under REFRESH PUBLICATION
may be specified, except in the case of DROP PUBLICATION.
---
When I read it for the first time, I got confused because we actually
have the 'refresh' option and this description in the paragraph of the
'refresh' option. I think we can improve it by changing to
'<replaceable>refresh_option</replaceable>'. Thoughts?
The patch is attached.
Regards,
--
Masahiko Sawada
EDB: https://www.enterprisedb.com/