diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 11 |
1 files changed, 8 insertions, 3 deletions
@@ -20378,8 +20378,10 @@ echo "${ECHO_T}no" >&6; } fi -# Extract the first word of "makeindex", so it can be a program name with args. -set dummy makeindex; ac_word=$2 +for ac_prog in makeindex +do + # Extract the first word of "$ac_prog", so it can be a program name with args. +set dummy $ac_prog; ac_word=$2 { echo "$as_me:$LINENO: checking for $ac_word" >&5 echo $ECHO_N "checking for $ac_word... $ECHO_C" >&6; } if test "${ac_cv_prog_MAKEINDEX+set}" = set; then @@ -20395,7 +20397,7 @@ do test -z "$as_dir" && as_dir=. for ac_exec_ext in '' $ac_executable_extensions; do if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_executable_p "$as_dir/$ac_word$ac_exec_ext"; }; then - ac_cv_prog_MAKEINDEX="" + ac_cv_prog_MAKEINDEX="$ac_prog" echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5 break 2 fi @@ -20415,6 +20417,9 @@ echo "${ECHO_T}no" >&6; } fi + test -n "$MAKEINDEX" && break +done + if test -n "$LATEX"; then \ axiom_src_all="$axiom_src_all all-book" axiom_src_subdirs="$axiom_src_subdirs booklets" |