diff options
| author | Heikki Linnakangas <heikki.linnakangas@iki.fi> | 2011-04-28 12:51:02 +0300 |
|---|---|---|
| committer | Heikki Linnakangas <heikki.linnakangas@iki.fi> | 2011-04-28 12:57:24 +0300 |
| commit | 9c46b7a14d03af06ee25bbf42bf478795cce566e (patch) | |
| tree | 2f3719decaacfdc25e2c4d59fbc131da93745120 | |
| parent | 1391f1fbd150b06b9c06659b2b340f4dd8b30049 (diff) | |
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.sgml | 4 |
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 f4200718c7a..c4eae623560 100644 --- a/doc/src/sgml/ref/pg_ctl-ref.sgml +++ b/doc/src/sgml/ref/pg_ctl-ref.sgml @@ -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> |