diff options
Diffstat (limited to 'Build/source/texk/detex/configure')
-rwxr-xr-x | Build/source/texk/detex/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/detex/configure b/Build/source/texk/detex/configure index a20673987c3..b6d76cc80a1 100755 --- a/Build/source/texk/detex/configure +++ b/Build/source/texk/detex/configure @@ -595,7 +595,7 @@ PACKAGE_STRING='detex (TeX Live) 2.8' PACKAGE_BUGREPORT='tex-k@tug.org' PACKAGE_URL='' -ac_unique_file="detex-2.8/detex.l" +ac_unique_file="detex-src/detex.l" # Factoring default headers for most tests. ac_includes_default="\ #include <stdio.h> @@ -15124,7 +15124,7 @@ if test "x$kpse_cv_kpse_debug" != xyes; then : fi -DETEX_TREE=detex-2.8 +DETEX_TREE=detex-src ac_config_files="$ac_config_files Makefile" |