From cb4fda63808a5fe35a72ed60e3ab7a77c2f16c45 Mon Sep 17 00:00:00 2001
From: Heikki Linnakangas <heikki.linnakangas@iki.fi>
Date: Thu, 28 Apr 2011 12:51:02 +0300
Subject: [PATCH] The arguments to pg_ctl kill are not optional - remove
 brackets in the docs.

Fujii Masao
---
 doc/src/sgml/ref/pg_ctl-ref.sgml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/src/sgml/ref/pg_ctl-ref.sgml b/doc/src/sgml/ref/pg_ctl-ref.sgml
index 638f3f1871..59d05c5101 100644
--- a/doc/src/sgml/ref/pg_ctl-ref.sgml
+++ b/doc/src/sgml/ref/pg_ctl-ref.sgml
@@ -79,8 +79,8 @@ PostgreSQL documentation
 
    <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>
    <sbr>
 
    <command>pg_ctl</command>