Correct WAL space calculation formula in docs.

Error pointed out by Fujii Masao, though not his patch.

diff --git a/doc/src/sgml/wal.sgml b/doc/src/sgml/wal.sgml
index 70fc832e23d8f11d844dca34974b9502fc3168e0..757c884c87cfae442af4509209bacfa9f6ed0527 100644 (file)
--- a/doc/src/sgml/wal.sgml
+++ b/doc/src/sgml/wal.sgml
@@ -450,9 +450,9 @@
 
   <para>
    There will always be at least one WAL segment file, and will normally
-   not be more than (2 + <varname>checkpoint_completion_target</varname>) * <varname>checkpoint_segments</varname> + 1
-   or <varname>checkpoint_segments</> + <xref linkend="guc-wal-keep-segments"> + 1
-   files.  Each segment file is normally 16 MB (though this size can be
+   not be more files than the higher of <xref linkend="guc-wal-keep-segments"> or
+   (2 + <varname>checkpoint_completion_target</varname>) * <varname>checkpoint_segments</varname> + 1.
+   Each segment file is normally 16 MB (though this size can be
    altered when building the server).  You can use this to estimate space
    requirements for <acronym>WAL</acronym>.
    Ordinarily, when old log segment files are no longer needed, they