summaryrefslogtreecommitdiff
path: root/docs/source
diff options
context:
space:
mode:
Diffstat (limited to 'docs/source')
-rw-r--r--docs/source/user/options.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/source/user/options.rst b/docs/source/user/options.rst
index 78bab1c..45948a5 100644
--- a/docs/source/user/options.rst
+++ b/docs/source/user/options.rst
@@ -565,7 +565,7 @@
.. option:: --tee
- Also print output to stdout if output-file has ben configured.
+ Also print output to stdout if output-file has been configured.
Command-line example: