diff options
Diffstat (limited to 'indexing/makeindexk/configure.texk')
| -rwxr-xr-x | indexing/makeindexk/configure.texk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/indexing/makeindexk/configure.texk b/indexing/makeindexk/configure.texk index 50c51244bd..1058367d6a 100755 --- a/indexing/makeindexk/configure.texk +++ b/indexing/makeindexk/configure.texk @@ -16712,7 +16712,9 @@ $as_echo X/"$am_mf" | { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error $? "Something went wrong bootstrapping makefile fragments - for automatic dependency tracking. Try re-running configure with the + for automatic dependency tracking. If GNU make was not used, consider + re-running the configure script with MAKE=\"gmake\" (or whatever is + necessary). You can also try re-running configure with the '--disable-dependency-tracking' option to at least be able to build the package (albeit without support for automatic dependency tracking). See \`config.log' for more details" "$LINENO" 5; } |