diff options
| author | Peter Eisentraut <peter@eisentraut.org> | 2019-09-06 22:19:53 +0200 |
|---|---|---|
| committer | Peter Eisentraut <peter@eisentraut.org> | 2019-09-06 22:21:29 +0200 |
| commit | 0bea801c8176d14b7e22bc160cb96e6cf6650d61 (patch) | |
| tree | bfa918585617e02a03171b554b8685f8e09f5195 | |
| parent | 23df8822601dce04d259fed0326ef28ecc6d1fa0 (diff) | |
doc: Fix awkward markup
| -rw-r--r-- | doc/src/sgml/ref/pg_dumpall.sgml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/src/sgml/ref/pg_dumpall.sgml b/doc/src/sgml/ref/pg_dumpall.sgml index 97168a08159..806e9694d5c 100644 --- a/doc/src/sgml/ref/pg_dumpall.sgml +++ b/doc/src/sgml/ref/pg_dumpall.sgml @@ -55,7 +55,8 @@ PostgreSQL documentation <para> The SQL script will be written to the standard output. Use the - [-f|file] option or shell operators to redirect it into a file. + <option>-f</option>/<option>--file</option> option or shell operators to + redirect it into a file. </para> <para> |