diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-05-31 10:59:46 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-25 03:54:39 -0400 |
commit | 4acc2934952f4849c2082015d9bebef446d46545 (patch) | |
tree | 0473e7926f36a73666c3e5e6e3adfd9c2303667c /hadrian/src/Rules/Documentation.hs | |
parent | 30e42652ed895c3ed086e7834be46f93ba1cc61b (diff) | |
download | haskell-4acc2934952f4849c2082015d9bebef446d46545.tar.gz |
hadrian/make: Detect makeindex
Previously we would simply assume that makeindex was available.
Now we correctly detect it in `configure` and respect this conclusion in
hadrian and make.
Diffstat (limited to 'hadrian/src/Rules/Documentation.hs')
-rw-r--r-- | hadrian/src/Rules/Documentation.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/hadrian/src/Rules/Documentation.hs b/hadrian/src/Rules/Documentation.hs index a673e2e074..f39d52c512 100644 --- a/hadrian/src/Rules/Documentation.hs +++ b/hadrian/src/Rules/Documentation.hs @@ -290,6 +290,13 @@ buildSphinxPdf path = do need (map (rstFilesDir -/-) rstFiles) build $ target docContext (Sphinx LatexMode) [pathPath path] [dir] checkSphinxWarnings dir + + -- LaTeX "fixed point" + build $ target docContext Xelatex [path <.> "tex"] [dir] + build $ target docContext Xelatex [path <.> "tex"] [dir] + build $ target docContext Xelatex [path <.> "tex"] [dir] + build $ target docContext Makeindex [path <.> "idx"] [dir] + build $ target docContext Xelatex [path <.> "tex"] [dir] build $ target docContext Xelatex [path <.> "tex"] [dir] copyFileUntracked (dir -/- path <.> "pdf") file |