aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut <peter@eisentraut.org>2019-09-06 22:19:53 +0200
committerPeter Eisentraut <peter@eisentraut.org>2019-09-06 22:21:37 +0200
commit3f68d138747734fff094861419c7cc6824c54db6 (patch)
tree889e589ac1264cf4f3ae5a80790ca806de0a19b4
parentf697c6396d73c1e6d550afed84a6bd8362d9a0d4 (diff)
downloadpostgresql-3f68d138747734fff094861419c7cc6824c54db6.tar.gz
postgresql-3f68d138747734fff094861419c7cc6824c54db6.zip
doc: Fix awkward markup
-rw-r--r--doc/src/sgml/ref/pg_dumpall.sgml3
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>