From: Ilias Tsitsimpis <iliastsi@debian.org>
Date: Wed, 18 Oct 2023 19:50:19 +0000 (+0300)
Subject: Pass 'mathjax' to Haddock
X-Git-Tag: archive/raspbian/9.4.7-2+rpi1~2^2^2~12
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=0f55a8f4d321429e62c6976822d6cd9a289ed7b6;p=ghc.git

Pass 'mathjax' to Haddock

Bug: https://gitlab.haskell.org/ghc/ghc/-/issues/23625

Hadrian currently doesn't allow us to modify Haddock options, so
patch Hadrian to manually pass the 'mathjax' option.

Gbp-Pq: Name hadrian-haddock-opts
---

diff --git a/hadrian/src/Settings/Builders/Haddock.hs b/hadrian/src/Settings/Builders/Haddock.hs
index 38c786de..e0fdac7a 100644
--- a/hadrian/src/Settings/Builders/Haddock.hs
+++ b/hadrian/src/Settings/Builders/Haddock.hs
@@ -32,6 +32,7 @@ haddockBuilderArgs = mconcat
             , arg "-o", arg $ takeDirectory output
             , arg "-t", arg "Haskell Hierarchical Libraries"
             , arg "-p", arg "libraries/prologue.txt"
+            , arg "--mathjax=file:///usr/share/javascript/mathjax/MathJax.js"
             , pure [ "--read-interface="
                      ++ (takeFileName . takeDirectory) haddock
                      ++ "," ++ haddock | haddock <- inputs ] ]
@@ -60,6 +61,7 @@ haddockBuilderArgs = mconcat
             , arg "--hyperlinked-source"
             , arg "--hoogle"
             , arg "--quickjump"
+            , arg "--mathjax=file:///usr/share/javascript/mathjax/MathJax.js"
             , arg $ "--title=" ++ pkgName pkg ++ "-" ++ version
                     ++ ": " ++ synopsis
             , arg $ "--prologue=" ++ takeDirectory output -/- "haddock-prologue.txt"