diff options
Diffstat (limited to 'Build/source/texk/detex/configure')
-rwxr-xr-x | Build/source/texk/detex/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/detex/configure b/Build/source/texk/detex/configure index f358f201543..b77bacfbf44 100755 --- a/Build/source/texk/detex/configure +++ b/Build/source/texk/detex/configure @@ -14447,6 +14447,7 @@ else -e "s,BLD/,$kpse_BLD/,g"` KPATHSEA_LIBS=`echo 'BLD/texk/kpathsea/libkpathsea.la' | sed \ -e "s,BLD/,$kpse_BLD/,g"` + KPATHSEA_DEPEND=`echo 'BLD/texk/kpathsea/libkpathsea.la' | sed \ -e 's,BLD/texk/,${top_builddir}/../,g'` KPATHSEA_RULE='# Rebuild libkpathsea |