diff options
| -rw-r--r-- | docs/users_guide/using.rst | 7 |
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 -? |