diff options
Diffstat (limited to 'docs/users_guide/using.rst')
| -rw-r--r-- | docs/users_guide/using.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index ba0e223847..bcd641fb28 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -593,11 +593,11 @@ See also the ``--help``, ``--version``, ``--numeric-version``, and ``-v1`` Minimal verbosity: print one line per compilation (this is the - default when ``--make`` or ``--interactive`` is on). + default when :ghc-flag:`--make` or :ghc-flag:`--interactive` is on). ``-v2`` Print the name of each compilation phase as it is executed. - (equivalent to ``-dshow-passes``). + (equivalent to :ghc-flag:`-dshow-passes`). ``-v3`` The same as ``-v2``, except that in addition the full command |