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 /configure.ac | |
| 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 'configure.ac')
| -rw-r--r-- | configure.ac | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 070f7ce56c..a2faecff06 100644 --- a/configure.ac +++ b/configure.ac @@ -880,6 +880,7 @@ fi dnl ** check for xelatex AC_PATH_PROG(XELATEX,xelatex) +AC_PATH_PROG(MAKEINDEX,makeindex) dnl ** check for makeinfo AC_PATH_PROG(MAKEINFO,makeinfo) @@ -1383,7 +1384,7 @@ dnl -------------------------------------------------------------- if test -n "$SPHINXBUILD"; then BUILD_MAN=YES BUILD_SPHINX_HTML=YES - if test -n "$XELATEX"; then + if test -n "$XELATEX" -a -n "$MAKEINDEX"; then BUILD_SPHINX_PDF=YES else BUILD_SPHINX_PDF=NO |