diff options
Diffstat (limited to 'hadrian/src')
| -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 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" |