diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-01-28 11:48:43 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-02-05 16:28:54 -0500 |
commit | f2cd8247bde98617bba1ff09d50e99285d74abec (patch) | |
tree | 5b45f0691fd39dbfb0fec9ff22e72a6e6b67ae8b | |
parent | c69d6aebdc3de4b5f45666630dbc3c766f73cd0a (diff) | |
download | haskell-f2cd8247bde98617bba1ff09d50e99285d74abec.tar.gz |
hadrian: Drop Sphinx flag checking for PDF documentation
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 I think the
benefit is pretty small. Let's just only check the HTML case.
-rw-r--r-- | hadrian/src/Rules/Documentation.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/hadrian/src/Rules/Documentation.hs b/hadrian/src/Rules/Documentation.hs index 6eb436e718..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 $ root -/- pdfRoot -/- "users_guide" -/- "ghc-flags.txt" when (SphinxHTML `Set.member` doctargets) $ checkUserGuideFlags $ root -/- htmlRoot -/- "users_guide" -/- "ghc-flags.txt" |