trace-ascii.md: mention "%" for stderr

Closes #13991

diff --git a/docs/cmdline-opts/trace-ascii.md b/docs/cmdline-opts/trace-ascii.md
index 34f4d9f41c74db12fe34effce540662eb1f8fce2..9311a80f1852d013acc4b6837216dd7aac4bbd42 100644 (file)
--- a/docs/cmdline-opts/trace-ascii.md
+++ b/docs/cmdline-opts/trace-ascii.md
@@ -20,7 +20,7 @@ Example:
 
 Save a full trace dump of all incoming and outgoing data, including
 descriptive information, in the given output file. Use `-` as filename to have
-the output sent to stdout.
+the output sent to stdout. Use `%` as filename to send the output to stderr.
 
 This is similar to --trace, but leaves out the hex part and only shows the
 ASCII part of the dump. It makes smaller output that might be easier to read

diff --git a/docs/cmdline-opts/trace.md b/docs/cmdline-opts/trace.md
index f6e3e4b55aead87fe86a088902c0bff3673755e4..649990ea66f75335b08028e4fef1e0e09cfbbbc1 100644 (file)
--- a/docs/cmdline-opts/trace.md
+++ b/docs/cmdline-opts/trace.md
@@ -21,8 +21,8 @@ Example:
 # `--trace`
 
 Save a full trace dump of all incoming and outgoing data, including
-descriptive information, in the given output file. Use "-" as filename to have
-the output sent to stdout. Use "%" as filename to have the output sent to
+descriptive information, in the given output file. Use `-` as filename to have
+the output sent to stdout. Use `%` as filename to have the output sent to
 stderr.
 
 Note that verbose output of curl activities and network traffic might contain