diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/ghc/ghc-8.8.4-sphinx-6.0.patch')
| -rw-r--r-- | nixpkgs/pkgs/development/compilers/ghc/ghc-8.8.4-sphinx-6.0.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/nixpkgs/pkgs/development/compilers/ghc/ghc-8.8.4-sphinx-6.0.patch b/nixpkgs/pkgs/development/compilers/ghc/ghc-8.8.4-sphinx-6.0.patch deleted file mode 100644 index c20c62f9cf6f..000000000000 --- a/nixpkgs/pkgs/development/compilers/ghc/ghc-8.8.4-sphinx-6.0.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff --git a/docs/users_guide/ghc_config.py.in b/docs/users_guide/ghc_config.py.in -index 2670ad3cf1..d2f9d85c31 100644 ---- a/docs/users_guide/ghc_config.py.in -+++ b/docs/users_guide/ghc_config.py.in -@@ -1,6 +1,6 @@ - extlinks = { -- 'ghc-ticket': ('https://gitlab.haskell.org/ghc/ghc/issues/%s', 'Issue #'), -- 'ghc-wiki': ('https://gitlab.haskell.org/ghc/ghc/wikis/%s', 'GHC Wiki'), -+ 'ghc-ticket': ('https://gitlab.haskell.org/ghc/ghc/issues/%s', 'Issue %s'), -+ 'ghc-wiki': ('https://gitlab.haskell.org/ghc/ghc/wikis/%s', 'GHC Wiki %s'), - } - - libs_base_uri = '../libraries' |