1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-17 06:41:09 +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 db3cf25293
commit c02bc6356f

View File

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