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/cfg/system.config.in | |
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/cfg/system.config.in')
-rw-r--r-- | hadrian/cfg/system.config.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hadrian/cfg/system.config.in b/hadrian/cfg/system.config.in index 810b290d1b..e1b7684b84 100644 --- a/hadrian/cfg/system.config.in +++ b/hadrian/cfg/system.config.in @@ -24,6 +24,7 @@ system-ghc-pkg = @GhcPkgCmd@ tar = @TarCmd@ patch = @PatchCmd@ xelatex = @XELATEX@ +makeindex = @MAKEINDEX@ makeinfo = @MAKEINFO@ # Python 3 is required to run test driver. |