From 213335c14529a8d5e2007ec0c256f4cf64d62d3b Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Thu, 17 Sep 2015 20:56:58 -0400
Subject: Order some new options on man pages more sensibly, minor improvements

---
 doc/src/sgml/ref/pg_ctl-ref.sgml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/src/sgml/ref/pg_ctl-ref.sgml')

diff --git a/doc/src/sgml/ref/pg_ctl-ref.sgml b/doc/src/sgml/ref/pg_ctl-ref.sgml
index 2df65db0bdd..eaa0cc8b370 100644
--- a/doc/src/sgml/ref/pg_ctl-ref.sgml
+++ b/doc/src/sgml/ref/pg_ctl-ref.sgml
@@ -427,10 +427,10 @@ PostgreSQL documentation
        Name of the event source for <application>pg_ctl</application> to use
        for logging to the event log when running as a Windows service.  The
        default is <literal>PostgreSQL</literal>.  Note that this only controls
-       the logging from <application>pg_ctl</application> itself - once
+       the logging from <application>pg_ctl</application> itself; once
        started, the server will use the event source specified
        by <xref linkend="guc-event-source">.  Should the server fail during
-       early startup, it may also log using the default event
+       early startup, it might also log using the default event
        source <literal>PostgreSQL</literal>.
       </para>
      </listitem>
-- 
cgit v1.2.3