[commit: ghc] master: users-guide: Begin documenting --frontend (aff51af)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/aff51af1d747f88a140f435882efcd46b47b50af/ghc

>---------------------------------------------------------------

commit aff51af1d747f88a140f435882efcd46b47b50af
Author: Ben Gamari <bgamari.foss at gmail.com>
Date:   Tue Jan 19 00:07:47 2016 +0100

    users-guide: Begin documenting --frontend
    
    Reviewers: austin
    
    Subscribers: thomie, ezyang
    
    Differential Revision: https://phabricator.haskell.org/D1793
    
    GHC Trac Issues: #11448


>---------------------------------------------------------------

aff51af1d747f88a140f435882efcd46b47b50af
 docs/users_guide/extending_ghc.rst     |  2 +-
 docs/users_guide/using.rst             | 10 +++++++++-
 utils/mkUserGuidePart/Options/Modes.hs |  8 +++++++-
 3 files changed, 17 insertions(+), 3 deletions(-)

diff --git a/docs/users_guide/extending_ghc.rst b/docs/users_guide/extending_ghc.rst
index 74bba91..17d061e 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 a600a13..91b6291 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::
diff --git a/utils/mkUserGuidePart/Options/Modes.hs b/utils/mkUserGuidePart/Options/Modes.hs
index 57aaef2..792ee9f 100644
--- a/utils/mkUserGuidePart/Options/Modes.hs
+++ b/utils/mkUserGuidePart/Options/Modes.hs
@@ -32,10 +32,16 @@ modeOptions =
          }
   , flag { flagName = "-M"
          , flagDescription =
-           "denerate dependency information suitable for use in a "++
+           "generate dependency information suitable for use in a "++
            "``Makefile``; see :ref:`makefile-dependencies` for details."
          , flagType = ModeFlag
          }
+  , flag { flagName = "--frontend ⟨module⟩"
+         , flagDescription =
+           "run GHC with the given frontend plugin; see "++
+           ":ref:`frontend_plugins` for details."
+         , flagType = ModeFlag
+         }
   , flag { flagName = "--supported-extensions, --supported-languages"
          , flagDescription = "display the supported language extensions"
          , flagType = ModeFlag