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:51 +0300 |
| commit | c02bc6356f26c6b4373fbac0118409b544ea85f0 (patch) | |
| tree | 6b9213ea2f672e1339882fb4c9f0309039c8486a /doc/src/sgml/ref/pg_ctl-ref.sgml | |
| parent | db3cf2529304f96eabedd21f292bc661d5772aee (diff) | |
The arguments to pg_ctl kill are not optional - remove brackets in the docs.
Fujii Masao
Diffstat (limited to 'doc/src/sgml/ref/pg_ctl-ref.sgml')
| -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 196f08fa5f6..5edc167de36 100644 --- a/doc/src/sgml/ref/pg_ctl-ref.sgml +++ b/doc/src/sgml/ref/pg_ctl-ref.sgml @@ -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> |