summaryrefslogtreecommitdiff
path: root/boot
diff options
context:
space:
mode:
authorTakenobu Tani <takenobu.hs@gmail.com>2019-03-21 16:06:39 +0900
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-03-25 14:02:29 -0400
commit3769e3a829f4514f82ce7f7d218867f1d69d3d38 (patch)
treefdb7a6352c32368f1d80e370c46fe4159507ec4f /boot
parent8e07368faf5090a5ac803f0e4fa3a5a2a4aba05c (diff)
downloadhaskell-3769e3a829f4514f82ce7f7d218867f1d69d3d38.tar.gz
Update Wiki URLs to point to GitLab
This moves all URL references to Trac Wiki to their corresponding GitLab counterparts. This substitution is classified as follows: 1. Automated substitution using sed with Ben's mapping rule [1] Old: ghc.haskell.org/trac/ghc/wiki/XxxYyy... New: gitlab.haskell.org/ghc/ghc/wikis/xxx-yyy... 2. Manual substitution for URLs containing `#` index Old: ghc.haskell.org/trac/ghc/wiki/XxxYyy...#Zzz New: gitlab.haskell.org/ghc/ghc/wikis/xxx-yyy...#zzz 3. Manual substitution for strings starting with `Commentary` Old: Commentary/XxxYyy... New: commentary/xxx-yyy... See also !539 [1]: https://gitlab.haskell.org/bgamari/gitlab-migration/blob/master/wiki-mapping.json
Diffstat (limited to 'boot')
-rwxr-xr-xboot6
1 files changed, 3 insertions, 3 deletions
diff --git a/boot b/boot
index f534c30d69..939922248d 100755
--- a/boot
+++ b/boot
@@ -53,8 +53,8 @@ def check_for_url_rewrites():
git clone --recursive git://git.haskell.org/ghc.git
For more information, see:
- * https://ghc.haskell.org/trac/ghc/wiki/Newcomers or
- * https://ghc.haskell.org/trac/ghc/wiki/Building/GettingTheSources#CloningfromGitHub
+ * https://gitlab.haskell.org/ghc/ghc/wikis/newcomers or
+ * https://gitlab.haskell.org/ghc/ghc/wikis/building/getting-the-sources#cloning-from-github
""")
def check_boot_packages():
@@ -186,7 +186,7 @@ def check_build_mk():
than simply building it to use it.
For information on creating a mk/build.mk file, please see:
- http://ghc.haskell.org/trac/ghc/wiki/Building/Using#Buildconfiguration
+ https://gitlab.haskell.org/ghc/ghc/wikis/building/using#build-configuration
"""))
check_for_url_rewrites()