diff options
Diffstat (limited to 'docs/users_guide/using.rst')
| -rw-r--r-- | docs/users_guide/using.rst | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index a600a133d9..91b62919b8 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -281,12 +281,20 @@ The available mode flags are: .. ghc-flag:: -M .. index:: - single: dependency-generation mode; of GHC + single: dependency-generation mode; of GHC Dependency-generation mode. In this mode, GHC can be used to generate dependency information suitable for use in a ``Makefile``. See :ref:`makefile-dependencies`. +.. ghc-flag:: --frontend <module> + + .. index:: + single: frontend plugins; using + + Run GHC using the given frontend plugin. See :ref:`frontend_plugins` for + details. + .. ghc-flag:: --mk-dll .. index:: |