From 8f7d3291eb270d6500a04547717d9db6f618deec Mon Sep 17 00:00:00 2001 From: Yuchen Pei 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