users-guide: Update Wiki URLs to point to GitLab
authorTakenobu Tani <takenobu.hs@gmail.com>
Mon, 18 Mar 2019 13:07:06 +0000 (22:07 +0900)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Wed, 20 Mar 2019 03:22:36 +0000 (23:22 -0400)
commit89a201e88a9313ecff4f5659c38e40136cfc0b76
treee5f8d8e9d53e5285564412619aed9f49d8a67ab7
parent398f2cbc6af6fcb6135ba2d56c154869bea071a0
users-guide: Update Wiki URLs to point to GitLab

The user's guide uses the `ghc-wiki` macro, and substitution rules
are complicated. So I manually edited `.rst` files without sed.

I changed `Commentary/Latedmd` only to a different page.
It is more appropriate as an example.

[ci skip]
13 files changed:
docs/users_guide/8.2.1-notes.rst
docs/users_guide/editing-guide.rst
docs/users_guide/extending_ghc.rst
docs/users_guide/ffi-chap.rst
docs/users_guide/ghc.mk
docs/users_guide/ghc_config.py.in
docs/users_guide/glasgow_exts.rst
docs/users_guide/intro.rst
docs/users_guide/profiling.rst
docs/users_guide/safe_haskell.rst
docs/users_guide/separate_compilation.rst
docs/users_guide/sooner.rst
docs/users_guide/using-optimisation.rst