summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2021-11-19 12:32:06 -0500
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-12-14 20:53:51 -0500
commit82c39f4df38a32c93b3be5aa428dedf5d6bf66f4 (patch)
tree3d54457025928a8b8a118bd9330be4730b2be119
parent55cb2aa7afe6bac040b925e1cf6c9e7b2101a32a (diff)
downloadhaskell-82c39f4df38a32c93b3be5aa428dedf5d6bf66f4.tar.gz
users-guide: Fix documentation for -shared flag
This flag was previously called `--mk-dll`. It was renamed to `-shared` in b562cbe381d54e08dcafa11339e9a82e781ad557 but the documentation wasn't updated to match.
-rw-r--r--docs/users_guide/using.rst7
1 files changed, 4 insertions, 3 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst
index ce6f22e95a..59b89d1348 100644
--- a/docs/users_guide/using.rst
+++ b/docs/users_guide/using.rst
@@ -370,15 +370,16 @@ The available mode flags are:
Run GHC using the given frontend plugin. See :ref:`frontend_plugins` for
details.
-.. ghc-flag:: --mk-dll
- :shortdesc: DLL-creation mode (Windows only)
+.. ghc-flag:: -shared
+ :shortdesc: Create a shared object.
:type: mode
:category: modes
.. index::
single: DLL-creation mode
+ single: Shared-object creation mode
- DLL-creation mode (Windows only). See :ref:`win32-dlls-create`.
+ Create a shared object (or, on Windows, DLL). See :ref:`win32-dlls-create`.
.. ghc-flag:: --help
-?