From 4acc2934952f4849c2082015d9bebef446d46545 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Sun, 31 May 2020 10:59:46 -0400
Subject: 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.
---
 hadrian/cfg/system.config.in | 1 +
 1 file changed, 1 insertion(+)

(limited to 'hadrian/cfg/system.config.in')

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.
-- 
cgit v1.2.1