summaryrefslogtreecommitdiff
path: root/hadrian/src/Rules/Documentation.hs
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-05-31 10:59:46 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-06-25 03:54:39 -0400
commit4acc2934952f4849c2082015d9bebef446d46545 (patch)
tree0473e7926f36a73666c3e5e6e3adfd9c2303667c /hadrian/src/Rules/Documentation.hs
parent30e42652ed895c3ed086e7834be46f93ba1cc61b (diff)
downloadhaskell-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.hs7
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