1
0
mirror of https://github.com/postgres/postgres.git synced 2025-06-29 10:41:53 +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 4dcc4fd288
commit cb4fda6380

View File

@ -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>