diff options
Diffstat (limited to 'Build/source/texk/makeindexk/configure')
-rwxr-xr-x | Build/source/texk/makeindexk/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/makeindexk/configure b/Build/source/texk/makeindexk/configure index a0e5e5524fa..cf22297d44f 100755 --- a/Build/source/texk/makeindexk/configure +++ b/Build/source/texk/makeindexk/configure @@ -14455,6 +14455,7 @@ else fi + ac_config_files="$ac_config_files Makefile" |