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 196f08fa5f6966feacb5502e83d229e7f4147af2..5edc167de367805246112b5c08be7b95f57a04c5 100644 (file)
--- a/doc/src/sgml/ref/pg_ctl-ref.sgml
+++ b/doc/src/sgml/ref/pg_ctl-ref.sgml
@@ -91,8 +91,8 @@ PostgreSQL documentation
   
    pg_ctl
    kill
-   signal_name
-   process_id
+    choice="plain">signal_name
+    choice="plain">process_id