diff options
author | Veronika Romashkina <vrom911@gmail.com> | 2017-10-24 09:36:20 +0400 |
---|---|---|
committer | Alexander Biehl <alexbiehl@gmail.com> | 2017-10-24 07:36:20 +0200 |
commit | 0e82a0b3aa78af13f5ef52a7d9bac9d0c4e94e02 (patch) | |
tree | 79c33127f8451940ddf238b281fa94346d7c5be9 /doc | |
parent | 8e88615a23a9f1980a55bd1b3ef9dcc938d95237 (diff) |
Fix tiny typo in docs (#693)
Diffstat (limited to 'doc')
-rw-r--r-- | doc/invoking.rst | 2 |
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> |