summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdam Sandberg Ericsson <adam@sandbergericsson.se>2020-06-13 12:19:17 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-06-18 23:03:36 -0400
commit1a3f6f348004a80d3d7add81b22e4217b648b145 (patch)
tree9eeba54b4ec1b8a702340dad57b294ba9feda3ae
parentfa4281d672e462b8421098b3506bd3c4c6a1f819 (diff)
downloadhaskell-1a3f6f348004a80d3d7add81b22e4217b648b145.tar.gz
docs: mention -hiedir in docs for -outputdir
[skip ci]
-rw-r--r--docs/users_guide/separate_compilation.rst4
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/separate_compilation.rst b/docs/users_guide/separate_compilation.rst
index 7007924c4f..c43ec85768 100644
--- a/docs/users_guide/separate_compilation.rst
+++ b/docs/users_guide/separate_compilation.rst
@@ -333,8 +333,8 @@ Redirecting the compilation output(s)
:category:
The ``-outputdir`` option is shorthand for the combination of
- :ghc-flag:`-odir ⟨dir⟩`, :ghc-flag:`-hidir ⟨dir⟩`, :ghc-flag:`-stubdir
- ⟨dir⟩` and :ghc-flag:`-dumpdir ⟨dir⟩`.
+ :ghc-flag:`-odir ⟨dir⟩`, :ghc-flag:`-hidir ⟨dir⟩`, :ghc-flag:`-hiedir ⟨dir⟩`,
+ :ghc-flag:`-stubdir ⟨dir⟩` and :ghc-flag:`-dumpdir ⟨dir⟩`.
.. ghc-flag:: -osuf ⟨suffix⟩
:shortdesc: set the output file suffix