summaryrefslogtreecommitdiff
path: root/docs/users_guide
diff options
context:
space:
mode:
authorleiftw <leif@willerts.de>2020-07-22 15:44:29 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-07-27 07:07:32 -0400
commit667ab69e5edacb2ce2f42fb810cd54c8f856d30b (patch)
treefd3edaef8b43ccf40139f7adc7b76539b0f1de12 /docs/users_guide
parentaee45d9ea8c6cf4ebad4d5c732748923c7865cbe (diff)
downloadhaskell-667ab69e5edacb2ce2f42fb810cd54c8f856d30b.tar.gz
fix typo referring to non-existent `-ohidir` flag, should be `-hidir` I think
Diffstat (limited to 'docs/users_guide')
-rw-r--r--docs/users_guide/separate_compilation.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/separate_compilation.rst b/docs/users_guide/separate_compilation.rst
index b95a4d24f6..f5c53171ac 100644
--- a/docs/users_guide/separate_compilation.rst
+++ b/docs/users_guide/separate_compilation.rst
@@ -758,7 +758,7 @@ There are several points to note here:
the same machine-generated binary format as any other
GHC-generated interface file (e.g. ``B.hi``). You can display its
contents with ``ghc --show-iface``. If you specify a directory for
- interface files, the ``-ohidir`` flag, then that affects ``hi-boot`` files
+ interface files, the ``-hidir`` flag, then that affects ``hi-boot`` files
too.
- If hs-boot files are considered distinct from their parent source