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:14 +0300
commit1aa24e20241710020926a271609811ef96dea6c6 (patch)
tree544c5c0ce7cdab809afd7b877fd7195f6880aeb0
parented849420eaadd047b3853a79ee56d825318d2e30 (diff)
downloadpostgresql-1aa24e20241710020926a271609811ef96dea6c6.tar.gz
postgresql-1aa24e20241710020926a271609811ef96dea6c6.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 e7c9a8320dc..cc9d8fd353c 100644
--- a/doc/src/sgml/ref/pg_ctl-ref.sgml
+++ b/doc/src/sgml/ref/pg_ctl-ref.sgml
@@ -68,8 +68,8 @@ PostgreSQL documentation
<sbr>
<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>
<arg choice="plain">register</arg>