diff --git a/doc/src/sgml/ref/pg_ctl-ref.sgml b/doc/src/sgml/ref/pg_ctl-ref.sgml
index 2145d939467..1987e7a2738 100644
--- 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_ctlstatus-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.
+
+
+ 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.
+