aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorVeronika Romashkina <vrom911@gmail.com>2017-10-24 09:36:20 +0400
committerAlexander Biehl <alexbiehl@gmail.com>2017-10-24 07:36:20 +0200
commit0e82a0b3aa78af13f5ef52a7d9bac9d0c4e94e02 (patch)
tree79c33127f8451940ddf238b281fa94346d7c5be9 /doc
parent8e88615a23a9f1980a55bd1b3ef9dcc938d95237 (diff)
Fix tiny typo in docs (#693)
Diffstat (limited to 'doc')
-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>