Document new pg_ctl 'kill' command, specificially for Win32.

diff --git a/doc/src/sgml/ref/pg_ctl-ref.sgml b/doc/src/sgml/ref/pg_ctl-ref.sgml
index 2145d9394670964fb580a434b400cce157d683a8..1987e7a27385555f721e059c4245b910c53e8406 100644 (file)
--- a/doc/src/sgml/ref/pg_ctl-ref.sgml
+++ b/doc/src/sgml/ref/pg_ctl-ref.sgml
@@ -1,5 +1,5 @@
 
 
@@ -65,6 +65,11 @@ PostgreSQL documentation
    pg_ctl
    status
    -D datadir
+   
+   pg_ctl
+   kill
+   signal_name
+   process_id
   
  
 
@@ -131,6 +136,12 @@ PostgreSQL documentation
    and the command line options that were used to invoke it are
    displayed.
   
+
+  
+   kill mode allows you to send a signal to a specified
+    process.  This is particularly valuable for MS Windows
+    which does not have a kill command.
+