summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSylvain Henry <sylvain@haskus.fr>2020-02-13 11:03:07 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-02-14 05:33:56 -0500
commit7550417ac866e562bb015149d8f9a6b8c97b5f84 (patch)
tree2dfb40611eca08570e08e23b8dfac43dc86f5a84
parent719db3180e3fb0fa95fcfc90feb51ffbb2a2096d (diff)
downloadhaskell-7550417ac866e562bb015149d8f9a6b8c97b5f84.tar.gz
Hadrian: drop Sphinx flag checking for PDF documentation (#17825)
It seems that Sphinx produces the ghc-flags.txt in doc/users_guide/_build rather than pdfRoot. We could copy ghc-flags.txt into pdfRoot (like happens naturally in the HTML case) but the benefit is pretty small. Let's just only check the HTML case.
-rw-r--r--hadrian/src/Rules/Documentation.hs2
1 files changed, 0 insertions, 2 deletions
diff --git a/hadrian/src/Rules/Documentation.hs b/hadrian/src/Rules/Documentation.hs
index 84d008e39b..3b70ce3a18 100644
--- a/hadrian/src/Rules/Documentation.hs
+++ b/hadrian/src/Rules/Documentation.hs
@@ -111,8 +111,6 @@ documentationRules = do
need $ map (root -/-) targets
- when (SphinxPDFs `Set.member` doctargets)
- $ checkUserGuideFlags $ pdfRoot -/- "users_guide" -/- "ghc-flags.txt"
when (SphinxHTML `Set.member` doctargets)
$ checkUserGuideFlags $ root -/- htmlRoot -/- "users_guide" -/- "ghc-flags.txt"