diff options
| -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> |