[commit: ghc] master: users_guide: Use semantic directive/role for command line options (a6c3289)

[git at git.haskell.org]

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

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

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

commit a6c3289d0aa0c520656e918dfc9f152548d940a4
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sat Jan 9 04:38:16 2016 +0100

    users_guide: Use semantic directive/role for command line options
    
    And GHCi commands. This makes cross-referencing much easier.
    
    Also normalize markup a bit and add some missing flags.


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

a6c3289d0aa0c520656e918dfc9f152548d940a4
 docs/users_guide/8.0.1-notes.rst          |    4 +-
 docs/users_guide/bugs.rst                 |   83 +-
 docs/users_guide/conf.py                  |   49 +-
 docs/users_guide/debugging.rst            |  227 +-
 docs/users_guide/editing-guide.rst        |   67 +-
 docs/users_guide/extending_ghc.rst        |   50 +-
 docs/users_guide/ffi-chap.rst             |   40 +-
 docs/users_guide/ghci.rst                 |  156 +-
 docs/users_guide/glasgow_exts.rst         | 3350 ++++++++++++-----------------
 docs/users_guide/packages.rst             |  208 +-
 docs/users_guide/phases.rst               |  346 +--
 docs/users_guide/profiling.rst            |  393 ++--
 docs/users_guide/runtime_control.rst      |  478 ++--
 docs/users_guide/safe_haskell.rst         |  148 +-
 docs/users_guide/separate_compilation.rst |  263 +--
 docs/users_guide/shared_libs.rst          |   28 +-
 docs/users_guide/sooner.rst               |   70 +-
 docs/users_guide/using-concurrent.rst     |   50 +-
 docs/users_guide/using-optimisation.rst   |  449 ++--
 docs/users_guide/using-warnings.rst       |  529 ++---
 docs/users_guide/using.rst                |  277 +--
 docs/users_guide/win32-dlls.rst           |   26 +-
 22 files changed, 3179 insertions(+), 4112 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc a6c3289d0aa0c520656e918dfc9f152548d940a4