Merge pull request #782 from EnterpriseDB/Fixed-reported-phrase

Update configuration-file-optional-settings.xml
EnterpriseDB · Jul 4, 2023 · d3b1ff4 · d3b1ff4
2 parents 70b3430 + 450786e
commit d3b1ff4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/configuration-file-optional-settings.xml b/doc/configuration-file-optional-settings.xml
@@ -10,8 +10,8 @@
   <note>
     <simpara>
       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 <ulink url="https://raw.githubusercontent.com/EnterpriseDB/repmgr/master/repmgr.conf.sample">sample repmgr.conf file</ulink>
+      and annotated view of all configuration options see the
+      <ulink url="https://raw.githubusercontent.com/EnterpriseDB/repmgr/master/repmgr.conf.sample">sample repmgr.conf file</ulink>
     </simpara>
   </note>