diff options
Diffstat (limited to 'Build/source/texk/dvi2tty/configure')
-rwxr-xr-x | Build/source/texk/dvi2tty/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/dvi2tty/configure b/Build/source/texk/dvi2tty/configure index 505f9d47606..289e4605456 100755 --- a/Build/source/texk/dvi2tty/configure +++ b/Build/source/texk/dvi2tty/configure @@ -14160,6 +14160,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 |