diff options
-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> |