diff options
Diffstat (limited to 'docs/users_guide/flags.rst')
| -rw-r--r-- | docs/users_guide/flags.rst | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/users_guide/flags.rst b/docs/users_guide/flags.rst index a3ec0f6f9e..ce3244b153 100644 --- a/docs/users_guide/flags.rst +++ b/docs/users_guide/flags.rst @@ -174,13 +174,15 @@ More details in :ref:`packages` :type: table :category: packages + +.. flags-language-options:: + Language options ---------------- Language options can be enabled either by a command-line option ``-Xblah``, or by a ``{-# LANGUAGE blah #-}`` pragma in the file itself. -See :ref:`options-language`. Some options are enabled using ``-f*`` -flags. +See :ref:`options-language`. .. tabularcolumns:: | p{\dimexpr 0.36\textwidth-2\tabcolsep} | |