diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/mkUserGuidePart/Options/Modes.hs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/utils/mkUserGuidePart/Options/Modes.hs b/utils/mkUserGuidePart/Options/Modes.hs index 57aaef26f2..792ee9f02e 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 |