diff options
| -rw-r--r-- | haddock-api/0001-hadrian-haddock-output-org.patch | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/haddock-api/0001-hadrian-haddock-output-org.patch b/haddock-api/0001-hadrian-haddock-output-org.patch new file mode 100644 index 00000000..3f4ec7e4 --- /dev/null +++ b/haddock-api/0001-hadrian-haddock-output-org.patch @@ -0,0 +1,24 @@ +From 8f7d3291eb270d6500a04547717d9db6f618deec Mon Sep 17 00:00:00 2001 +From: Yuchen Pei <hi@ypei.me> +Date: Fri, 22 Jul 2022 10:02:13 +1000 +Subject: [PATCH] hadrian haddock output org. + +--- + hadrian/src/Settings/Builders/Haddock.hs | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/hadrian/src/Settings/Builders/Haddock.hs b/hadrian/src/Settings/Builders/Haddock.hs +index 5aeba0c8..21a44edc 100644 +--- a/hadrian/src/Settings/Builders/Haddock.hs ++++ b/hadrian/src/Settings/Builders/Haddock.hs +@@ -52,6 +52,7 @@ haddockBuilderArgs = mconcat + , arg $ "--odir=" ++ takeDirectory output + , arg "--no-tmp-comp-dir" + , arg $ "--dump-interface=" ++ output ++ , arg "--org" + , arg "--html" + , arg "--hyperlinked-source" + , arg "--hoogle" +-- +2.30.2 + |