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:54:17 +0300 |
| commit | 39850c7fdb82bd7c64dbb759c5754e29fc0af5f2 (patch) | |
| tree | 9310c0f28fbf26e731bab816180a88fab78c53ab /doc/src | |
| parent | 993c5e59047dd568d4831f7ec5c6199acd21f17f (diff) | |
| download | postgresql-39850c7fdb82bd7c64dbb759c5754e29fc0af5f2.tar.gz postgresql-39850c7fdb82bd7c64dbb759c5754e29fc0af5f2.zip | |
The arguments to pg_ctl kill are not optional - remove brackets in the docs.
Fujii Masao
Diffstat (limited to 'doc/src')
| -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 626ed1f8eb8..36d7200cb4c 100644 --- a/doc/src/sgml/ref/pg_ctl-ref.sgml +++ b/doc/src/sgml/ref/pg_ctl-ref.sgml @@ -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> |