From 83b8ee87541c82505a85476024c1a4d50452a697 Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Thu, 12 May 2016 09:15:49 -0400
Subject: [PATCH] doc: Document default of max_worker_processes

found by David G. Johnston <david.g.johnston@gmail.com>
---
 doc/src/sgml/config.sgml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml
index 04040ff258..72b5920aba 100644
--- a/doc/src/sgml/config.sgml
+++ b/doc/src/sgml/config.sgml
@@ -1986,7 +1986,8 @@ include_dir 'conf.d'
        <listitem>
         <para>
          Sets the maximum number of background processes that the system
-         can support.  This parameter can only be set at server start.
+         can support.  This parameter can only be set at server start.  The
+         default is 8.
         </para>
 
         <para>