doc: Fix awkward markup

diff --git a/doc/src/sgml/ref/pg_dumpall.sgml b/doc/src/sgml/ref/pg_dumpall.sgml
index aa944a2e92ad074d92687dd194e4ecb9ae368664..e6fe935f8c9745e7963d10ab0461e60d0e50377e 100644 (file)
--- a/doc/src/sgml/ref/pg_dumpall.sgml
+++ b/doc/src/sgml/ref/pg_dumpall.sgml
@@ -55,7 +55,8 @@ PostgreSQL documentation
 
   
    The SQL script will be written to the standard output.  Use the
-   [-f|file] option or shell operators to redirect it into a file.
+   -f/--file option or shell operators to
+   redirect it into a file.