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 /rules | |
| 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 'rules')
| -rw-r--r-- | rules/sphinx.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rules/sphinx.mk b/rules/sphinx.mk index 5291816d31..2e24e50385 100644 --- a/rules/sphinx.mk +++ b/rules/sphinx.mk @@ -66,7 +66,7 @@ $1/$2.pdf: $1/conf.py $$($1_RST_SOURCES) cd $1/build-pdf/$2 ; $(XELATEX) -halt-on-error $2.tex 2>/dev/null >/dev/null || true cd $1/build-pdf/$2 ; $(XELATEX) -halt-on-error $2.tex 2>/dev/null >/dev/null || true cd $1/build-pdf/$2 ; $(XELATEX) -halt-on-error $2.tex 2>/dev/null >/dev/null || true - cd $1/build-pdf/$2 ; makeindex $2.idx + cd $1/build-pdf/$2 ; $(MAKEINDEX) $2.idx cd $1/build-pdf/$2 ; $(XELATEX) -halt-on-error $2.tex 2>/dev/null >/dev/null || true cd $1/build-pdf/$2 ; $(XELATEX) -halt-on-error $2.tex cp $1/build-pdf/$2/$2.pdf $1/$2.pdf |