Update pg_ctk/kill docs.

diff --git a/doc/src/sgml/runtime.sgml b/doc/src/sgml/runtime.sgml
index c4b1eafd7754b6872598e88d604d2c147ede3fac..86555ba2bacf2cf702f4b9cd248811f2016f127e 100644 (file)
--- a/doc/src/sgml/runtime.sgml
+++ b/doc/src/sgml/runtime.sgml
@@ -1,4 +1,4 @@
-
+
 
 
  Operating System Environment
@@ -1351,11 +1351,8 @@ sysctl -w vm.overcommit_memory=2
   
    The  program provides a convenient
    interface for sending these signals to shut down the server.
-  
-
-  
    Alternatively, you can send the signal directly using kill
-   (or pg_ctl kill TERM [process id] on Windows).
+   on non-Windows systems.
    The PID of the postgres process can be
    found using the ps program, or from the file
    postmaster.pid in the data directory. For