diff --git a/pkgs/development/compilers/ghc/docs-sphinx-7.patch b/pkgs/development/compilers/ghc/docs-sphinx-7.patch
index 49fa45d1b9a2..d1321c421492 100644
--- a/pkgs/development/compilers/ghc/docs-sphinx-7.patch
+++ b/pkgs/development/compilers/ghc/docs-sphinx-7.patch
@@ -1,6 +1,6 @@
 Fix build of docs after sphinx update.
 https://github.com/sphinx-doc/sphinx/pull/11381
-https://gitlab.haskell.org/ghc/ghc/-/issues/24129
+https://gitlab.haskell.org/ghc/ghc/-/issues/24129 krank:ignore-line
 --- a/docs/users_guide/rtd-theme/layout.html
 +++ b/docs/users_guide/rtd-theme/layout.html
 @@ -67 +67 @@