1
0
mirror of https://github.com/postgres/postgres.git synced 2025-05-03 22:24:49 +03:00

The arguments to pg_ctl kill are not optional - remove brackets in the docs.

Fujii Masao
This commit is contained in:
Heikki Linnakangas 2011-04-28 12:51:02 +03:00
parent 993c5e5904
commit 39850c7fdb

View File

@ -98,8 +98,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>