1
0
mirror of https://github.com/postgres/postgres.git synced 2025-06-27 23:21:58 +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 1391f1fbd1
commit 9c46b7a14d

View File

@ -79,8 +79,8 @@ PostgreSQL documentation
<command>pg_ctl</command> <command>pg_ctl</command>
<arg choice="plain">kill</arg> <arg choice="plain">kill</arg>
<arg><replaceable>signal_name</replaceable></arg> <arg choice="plain"><replaceable>signal_name</replaceable></arg>
<arg><replaceable>process_id</replaceable></arg> <arg choice="plain"><replaceable>process_id</replaceable></arg>
<sbr> <sbr>
<command>pg_ctl</command> <command>pg_ctl</command>