From a71941e9fe047cc0dd586a3449cc22fec6999144 Mon Sep 17 00:00:00 2001 From: Martin Domke Date: Fri, 12 Aug 2016 13:40:58 +0200 Subject: [PATCH] Fix typo in documentation. --- docs/source/user/options.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: