Fix some warnings in users_guide (incl #16640)
authorOleg Grenrus <oleg.grenrus@iki.fi>
Wed, 8 May 2019 18:39:58 +0000 (21:39 +0300)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Wed, 29 May 2019 14:37:54 +0000 (10:37 -0400)
commit5bfd28f5cdf6ef41a08b7bfe2003aa9cc7914af1
tree6faa48977d77a23f9a518b69cfa0876f28922c6f
parentb58b389b538b6fb9cbb3517cff83808f2a690a0e
Fix some warnings in users_guide (incl #16640)

- short underline
- :ghc-flag:, not :ghc-flags:
- :since: have to be separate
- newline before code block
- workaround anchor generation so

    - pragma:SPECIALISE
    - pragma:SPECIALIZE-INLINE
    - pragma:SPECIALIZE-inline

  are different anchors, not all the same `pragma:SPECIALIZE`
docs/users_guide/8.10.1-notes.rst
docs/users_guide/conf.py
docs/users_guide/glasgow_exts.rst