*** a/doc/src/sgml/ref/pg_ctl-ref.sgml
--- b/doc/src/sgml/ref/pg_ctl-ref.sgml
***************
*** 582,588 **** PostgreSQL documentation
     <para>
      Restarting the server is almost equivalent to stopping the
      server and starting it again
!     except that <command>pg_ctl</command> saves and reuses the command line options that
      were passed to the previously running instance.  To restart
      the server in the simplest form, use:
  <screen>
--- 582,588 ----
     <para>
      Restarting the server is almost equivalent to stopping the
      server and starting it again
!     except that <command>pg_ctl</command> reuses the command line options that
      were passed to the previously running instance.  To restart
      the server in the simplest form, use:
  <screen>
***************
*** 615,623 **** PostgreSQL documentation
  <screen>
  <prompt>$</prompt> <userinput>pg_ctl status</userinput>
  <computeroutput>
! pg_ctl: server is running (pid: 13718)
! Command line was:
! /usr/local/pgsql/bin/postgres '-D' '/usr/local/pgsql/data' '-p' '5433' '-B' '128'
  </computeroutput>
  </screen>
      This is the command line that would be invoked in restart mode.
--- 615,622 ----
  <screen>
  <prompt>$</prompt> <userinput>pg_ctl status</userinput>
  <computeroutput>
! pg_ctl: server is running (PID: 13718)
! /usr/local/pgsql/bin/postgres "-D" "/usr/local/pgsql/data" "-p" "5433" "-B" "128"
  </computeroutput>
  </screen>
      This is the command line that would be invoked in restart mode.