diff options
Diffstat (limited to 'docs/users_guide/using.rst')
| -rw-r--r-- | docs/users_guide/using.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index ec62096cd1..628dfab0f3 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -345,7 +345,7 @@ The available mode flags are: compile source files one at a time, or link objects together into an executable. See :ref:`options-order`. -.. ghc-flag:: -merge-objs +.. ghc-flag:: --merge-objs :shortdesc: Merge a set of objects into a GHCi library. :type: mode :category: phases |