diff options
Diffstat (limited to 'Build/source/texk/tex4htk/configure')
-rwxr-xr-x | Build/source/texk/tex4htk/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/tex4htk/configure b/Build/source/texk/tex4htk/configure index 491c4f69731..cef9d13a207 100755 --- a/Build/source/texk/tex4htk/configure +++ b/Build/source/texk/tex4htk/configure @@ -14520,6 +14520,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 |