aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/invoking.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/invoking.rst b/doc/invoking.rst
index fc1e4410..acdba9bd 100644
--- a/doc/invoking.rst
+++ b/doc/invoking.rst
@@ -39,7 +39,7 @@ The following options are available:
.. option:: -B <dir>
- Tell GHC that that its lib directory is dir. Can be used to override
+ Tell GHC that its lib directory is dir. Can be used to override
the default path.
.. option:: -o <dir>