diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-02-13 11:03:07 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-14 05:33:56 -0500 |
| commit | 7550417ac866e562bb015149d8f9a6b8c97b5f84 (patch) | |
| tree | 2dfb40611eca08570e08e23b8dfac43dc86f5a84 /configure.ac | |
| parent | 719db3180e3fb0fa95fcfc90feb51ffbb2a2096d (diff) | |
| download | haskell-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.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions