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 /mk | |
| 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 'mk')
| -rw-r--r-- | mk/config.mk.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 406e72ba1b..9c4cdc9573 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -839,6 +839,7 @@ BUILD_SPHINX_HTML = @BUILD_SPHINX_HTML@ BUILD_SPHINX_PDF = @BUILD_SPHINX_PDF@ SPHINXOPTS = -D latex_paper_size=letter XELATEX = @XELATEX@ +MAKEINDEX = @MAKEINDEX@ #----------------------------------------------------------------------------- # FPtools support software |