diff --git a/doc/configuration-file-optional-settings.xml b/doc/configuration-file-optional-settings.xml index 0a2d5689..67d7aed9 100644 --- a/doc/configuration-file-optional-settings.xml +++ b/doc/configuration-file-optional-settings.xml @@ -7,6 +7,14 @@ optional settings + + + This section documents a subset of optional configuration settings; for a full + for a full and annotated view of all configuration options see the + see the sample repmgr.conf file + + + @@ -133,4 +141,12 @@ ssh_options='-q -o ConnectTimeout=10' + + + + See the sample repmgr.conf file + for a full and annotated view of all configuration options. + + + diff --git a/doc/configuration-file-required-settings.xml b/doc/configuration-file-required-settings.xml index b4858ce5..69d5111f 100644 --- a/doc/configuration-file-required-settings.xml +++ b/doc/configuration-file-required-settings.xml @@ -96,6 +96,9 @@ + + See for further configuration options. +