Patch code in case we decide to run sphinx doc generation

Author: hamishmack

overlays/bootstrap.nix

@@ -266,6 +266,9 @@ in {
                 # Fix the bad fixups: https://gitlab.haskell.org/ghc/ghc/-/commit/2adc050857a9c1b992040fbfd55fbe65b2851b19
                 ++ final.lib.optional (versionAtLeast "9.6"    && versionLessThan "9.6.4" && final.stdenv.targetPlatform.isAarch64) ./patches/ghc/2adc050857a9c1b992040fbfd55fbe65b2851b19.patch
                 ++ final.lib.optional (versionAtLeast "8.10.7" && versionLessThan "9.0" && final.stdenv.targetPlatform.isAarch64 && final.stdenv.targetPlatform.isMusl && final.stdenv.targetPlatform != final.stdenv.hostPlatform) ./patches/ghc/ghc-8.10-aarch64-musl-gettimeofday.patch
+
+                ++ until           "9.8" ./patches/ghc/docs-sphinx-7.patch
+                ++ fromUntil "9.8" "9.9" ./patches/ghc/docs-sphinx-7-ghc98.patch
                 ;
         in ({
             ghc865 = final.callPackage ../compiler/ghc (traceWarnOld "8.6" {

overlays/patches/ghc/docs-sphinx-7-ghc98.patch

@@ -0,0 +1,8 @@
+Fix build of docs after sphinx update.
+https://github.com/sphinx-doc/sphinx/pull/11381
+https://gitlab.haskell.org/ghc/ghc/-/issues/24129
+--- a/docs/users_guide/rtd-theme/layout.html
++++ b/docs/users_guide/rtd-theme/layout.html
+@@ -28 +28 @@
+-    <link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}" type="text/css" />
++    <link rel="stylesheet" href="{{ pathto('_static/' + styles[-1], 1) }}" type="text/css" />

overlays/patches/ghc/docs-sphinx-7.patch

@@ -0,0 +1,8 @@
+Fix build of docs after sphinx update.
+ https://github.com/sphinx-doc/sphinx/pull/11381
+ https://gitlab.haskell.org/ghc/ghc/-/issues/24129
+ --- a/docs/users_guide/rtd-theme/layout.html
+ +++ b/docs/users_guide/rtd-theme/layout.html
+ @@ -67 +67 @@
+ -  <link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}" type="text/css" />
+ +  <link rel="stylesheet" href="{{ pathto('_static/' + styles[-1], 1) }}" type="text/css" />