From: Heikki Linnakangas <heikki.linnakangas@iki.fi>
Date: Thu, 28 Apr 2011 09:51:02 +0000 (+0300)
Subject: The arguments to pg_ctl kill are not optional - remove brackets in the docs.
X-Git-Url: http://waps.l3s.uni-hannover.de/gitweb/?a=commitdiff_plain;h=c02bc6356f26c6b4373fbac0118409b544ea85f0;p=users%2Fhanada%2Fpostgres.git

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 196f08fa5f..5edc167de3 100644
--- a/doc/src/sgml/ref/pg_ctl-ref.sgml
+++ b/doc/src/sgml/ref/pg_ctl-ref.sgml
@@ -91,8 +91,8 @@ PostgreSQL documentation
   <cmdsynopsis>
    <command>pg_ctl</command>
    <arg choice="plain">kill</arg>
-   <arg><replaceable>signal_name</replaceable></arg>
-   <arg><replaceable>process_id</replaceable></arg>
+   <arg choice="plain"><replaceable>signal_name</replaceable></arg>
+   <arg choice="plain"><replaceable>process_id</replaceable></arg>
   </cmdsynopsis>
 
   <cmdsynopsis>