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:21 +0200 |
commit | 7db45167ccf502f92ee6bf5ce8a2b8f0b2441128 (patch) | |
tree | 72fb5b611afdb184ef7875e90e2b139d9a4af99c /doc/src | |
parent | 62fb12d7e1383905c84436492e1fe841ecc69040 (diff) |
doc: Fix awkward markup
Diffstat (limited to 'doc/src')
-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 aa944a2e92a..e6fe935f8c9 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> |