diff options
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/extending_ghc.rst | 2 | ||||
| -rw-r--r-- | docs/users_guide/using.rst | 10 |
2 files changed, 10 insertions, 2 deletions
diff --git a/docs/users_guide/extending_ghc.rst b/docs/users_guide/extending_ghc.rst index 74bba9140a..17d061ec3e 100644 --- a/docs/users_guide/extending_ghc.rst +++ b/docs/users_guide/extending_ghc.rst @@ -590,7 +590,7 @@ A frontend plugin allows you to add new major modes to GHC. You may prefer this over a traditional program which calls the GHC API, as GHC manages a lot of parsing flags and administrative nonsense which can be difficult to manage manually. To load a frontend plugin exported by ``Foo.FrontendPlugin``, -we just invoke GHC as follows: +we just invoke GHC with the :ghc-flag:`--frontend` flag as follows: .. code-block:: none 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:: |