Mention pg_ctl kill for Win32 in docs.

diff --git a/doc/src/sgml/runtime.sgml b/doc/src/sgml/runtime.sgml
index 6500314c05769ec1a7fa1fedbde911b138d779e0..bd273c9e8966d568ce679a182173fcb6da41bcc0 100644 (file)
--- a/doc/src/sgml/runtime.sgml
+++ b/doc/src/sgml/runtime.sgml
@@ -1,4 +1,4 @@
-
+
 
 
  Operating System Environment
@@ -1350,7 +1350,8 @@ sysctl -w vm.overcommit_memory=2
   
 
   
-   Alternatively, you can send the signal directly using kill.
+   Alternatively, you can send the signal directly using kill
+   (or pg_ctl kill TERM [process id] on Windows).
    The PID of the postgres process can be
    found using the ps program, or from the file
    postmaster.pid in the data directory. For