aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/0001-hadrian-haddock-output-org.patch
blob: 3f4ec7e421708fc7fa142704b76814e4a510ec76 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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