diff options
Diffstat (limited to 'Build/source/texk/xdvik')
-rwxr-xr-x | Build/source/texk/xdvik/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/xdvik/configure b/Build/source/texk/xdvik/configure index 2d5e3d7af45..cc517a0b45d 100755 --- a/Build/source/texk/xdvik/configure +++ b/Build/source/texk/xdvik/configure @@ -13080,7 +13080,7 @@ fi # first with our modifications and then unmodified. kpse_substs="sed -e '/@configure_input@/ { h; \ s,@configure_input@,Makefile.aux. Generated from `echo Makefile.in | - sed 's,.*/,,'` by configure.,; G }'" + sed 's,.*/,,'` by configure.,; G; }'" for kpse_inc in $kpse_file_substs; do kpse_read=`case $kpse_inc in [\\/$]*) # Absolute @@ -13150,7 +13150,7 @@ fi # first with our modifications and then unmodified. kpse_substs="sed -e '/@configure_input@/ { h; \ s,@configure_input@,gui/Makefile.aux. Generated from `echo gui/Makefile.in | - sed 's,.*/,,'` by configure.,; G }'" + sed 's,.*/,,'` by configure.,; G; }'" for kpse_inc in $kpse_file_substs; do kpse_read=`case $kpse_inc in [\\/$]*) # Absolute |