Mention pg_ctl kill for Win32 in docs.

diff --git a/doc/src/sgml/runtime.sgml b/doc/src/sgml/runtime.sgml
index 194efde8778ac67e16c2041565d862852219638e..7e5ff5b275d8d311b69dfe6a04d5ee6428f32a62 100644 (file)
--- a/doc/src/sgml/runtime.sgml
+++ b/doc/src/sgml/runtime.sgml
@@ -1350,7 +1350,8 @@ sysctl -w vm.overcommit_memory=2
   </para>
 
   <para>
-   Alternatively, you can send the signal directly using <command>kill</>.
+   Alternatively, you can send the signal directly using <command>kill</>
+   (or <command>pg_ctl kill TERM [process id]</> on <productname>Windows</>).
    The <acronym>PID</> of the <command>postgres</command> process can be
    found using the <command>ps</command> program, or from the file
    <filename>postmaster.pid</filename> in the data directory. For