[commit: ghc] ghc-8.0: users_guide: Use semantic directive/role for command line options (cd9f37c)

[git at git.haskell.org]

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

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/cd9f37c5b8d88eba2d349d8362248534b5fc842f/ghc

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

commit cd9f37c5b8d88eba2d349d8362248534b5fc842f
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.
    
    (cherry picked from commit a6c3289d0aa0c520656e918dfc9f152548d940a4)


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

cd9f37c5b8d88eba2d349d8362248534b5fc842f
 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 cd9f37c5b8d88eba2d349d8362248534b5fc842f