aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHeikki Linnakangas <heikki.linnakangas@iki.fi>2011-04-28 12:51:02 +0300
committerHeikki Linnakangas <heikki.linnakangas@iki.fi>2011-04-28 12:57:37 +0300
commitcb4fda63808a5fe35a72ed60e3ab7a77c2f16c45 (patch)
tree0346f649979dec98a4ae8ee35b7f3b8720fe6cc2
parent4dcc4fd28818fef0edc90bbdb65b7a85de6963e2 (diff)
downloadpostgresql-cb4fda63808a5fe35a72ed60e3ab7a77c2f16c45.tar.gz
postgresql-cb4fda63808a5fe35a72ed60e3ab7a77c2f16c45.zip
The arguments to pg_ctl kill are not optional - remove brackets in the docs.
Fujii Masao
-rw-r--r--doc/src/sgml/ref/pg_ctl-ref.sgml4
1 files 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 638f3f18714..59d05c51019 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>