The arguments to pg_ctl kill are not optional - remove brackets in the docs.

Fujii Masao

diff --git a/doc/src/sgml/ref/pg_ctl-ref.sgml b/doc/src/sgml/ref/pg_ctl-ref.sgml
index 626ed1f8eb80b6993a6b3ed6cc5ab5a56e42569a..36d7200cb4c76fed8a512ae86da5adc9db63f9e9 100644 (file)
--- a/doc/src/sgml/ref/pg_ctl-ref.sgml
+++ b/doc/src/sgml/ref/pg_ctl-ref.sgml
@@ -98,8 +98,8 @@ PostgreSQL documentation
   
    pg_ctl
    kill
-   signal_name
-   process_id
+    choice="plain">signal_name
+    choice="plain">process_id