stricter sed syntax

git-svn-id: svn://tug.org/texlive/trunk@6516 c570f23f-e606-0410-a88d-b1316a301751

28 files changed, 44 insertions, 47 deletions

diff --git a/Build/source/texk/afm2pl/configure b/Build/source/texk/afm2pl/configure
index c0a5b09d8a5..489d0467971 100755
--- a/Build/source/texk/afm2pl/configure
+++ b/Build/source/texk/afm2pl/configure
@@ -4219,7 +4219,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
diff --git a/Build/source/texk/bibtex8/configure b/Build/source/texk/bibtex8/configure
index b69ab2cc1ca..92be97e89a5 100755
--- a/Build/source/texk/bibtex8/configure
+++ b/Build/source/texk/bibtex8/configure
@@ -4139,7 +4139,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
diff --git a/Build/source/texk/cjkutils/configure b/Build/source/texk/cjkutils/configure
index 7f1bf3dbe53..197e8824d2d 100755
--- a/Build/source/texk/cjkutils/configure
+++ b/Build/source/texk/cjkutils/configure
@@ -5387,7 +5387,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,conv/Makefile.aux.  Generated from `echo conv/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
@@ -5457,7 +5457,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,hbf2gf/Makefile.aux.  Generated from `echo hbf2gf/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
@@ -5527,7 +5527,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,scripts/Makefile.aux.  Generated from `echo scripts/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
diff --git a/Build/source/texk/configure b/Build/source/texk/configure
index 212fedaa1c5..9d81a45f970 100755
--- a/Build/source/texk/configure
+++ b/Build/source/texk/configure
@@ -10941,7 +10941,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
diff --git a/Build/source/texk/detex/configure b/Build/source/texk/detex/configure
index 95bbbe2dcd3..51beb359078 100755
--- a/Build/source/texk/detex/configure
+++ b/Build/source/texk/detex/configure
@@ -4414,7 +4414,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
diff --git a/Build/source/texk/dtl/configure b/Build/source/texk/dtl/configure
index e4204f2d338..ebd1453e99a 100755
--- a/Build/source/texk/dtl/configure
+++ b/Build/source/texk/dtl/configure
@@ -12016,7 +12016,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
diff --git a/Build/source/texk/dvi2tty/configure b/Build/source/texk/dvi2tty/configure
index 5e6f0b4147f..5ccf4432006 100755
--- a/Build/source/texk/dvi2tty/configure
+++ b/Build/source/texk/dvi2tty/configure
@@ -4053,7 +4053,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
diff --git a/Build/source/texk/dvidvi/configure b/Build/source/texk/dvidvi/configure
index 07019ad4001..95f0113bcb3 100755
--- a/Build/source/texk/dvidvi/configure
+++ b/Build/source/texk/dvidvi/configure
@@ -12016,7 +12016,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
diff --git a/Build/source/texk/dviljk/configure b/Build/source/texk/dviljk/configure
index cbe1a47e518..286f45b157a 100755
--- a/Build/source/texk/dviljk/configure
+++ b/Build/source/texk/dviljk/configure
@@ -5404,7 +5404,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
diff --git a/Build/source/texk/dvipdfm/configure b/Build/source/texk/dvipdfm/configure
index 13a6ef9ff74..0d46958f5e6 100755
--- a/Build/source/texk/dvipdfm/configure
+++ b/Build/source/texk/dvipdfm/configure
@@ -6265,7 +6265,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
diff --git a/Build/source/texk/dvipos/configure b/Build/source/texk/dvipos/configure
index 94d03237de3..920ed4f45b8 100755
--- a/Build/source/texk/dvipos/configure
+++ b/Build/source/texk/dvipos/configure
@@ -11538,7 +11538,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
diff --git a/Build/source/texk/dvipsk/configure b/Build/source/texk/dvipsk/configure
index c896dff9911..dbc9ebc3632 100755
--- a/Build/source/texk/dvipsk/configure
+++ b/Build/source/texk/dvipsk/configure
@@ -5406,7 +5406,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
diff --git a/Build/source/texk/gsftopk/configure b/Build/source/texk/gsftopk/configure
index c6f04f9fd49..5de7bb5fcc9 100755
--- a/Build/source/texk/gsftopk/configure
+++ b/Build/source/texk/gsftopk/configure
@@ -5973,7 +5973,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
diff --git a/Build/source/texk/kpathsea/configure b/Build/source/texk/kpathsea/configure
index 4897a640207..37f1a50e81f 100755
--- a/Build/source/texk/kpathsea/configure
+++ b/Build/source/texk/kpathsea/configure
@@ -11548,7 +11548,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
diff --git a/Build/source/texk/lacheck/configure b/Build/source/texk/lacheck/configure
index 86d7977a5ab..972c91200a1 100755
--- a/Build/source/texk/lacheck/configure
+++ b/Build/source/texk/lacheck/configure
@@ -12278,7 +12278,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
diff --git a/Build/source/texk/m4/ChangeLog b/Build/source/texk/m4/ChangeLog
index d5e2a58e8e6..688253e9d86 100644
--- a/Build/source/texk/m4/ChangeLog
+++ b/Build/source/texk/m4/ChangeLog
@@ -1,3 +1,7 @@
+2008-02-07  Peter Breitenlohner  <peb@mppmu.mpg.de>
+
+	* kpse_inc.m4: Stricter sed syntax.
+
 2008-02-02  Peter Breitenlohner  <peb@mppmu.mpg.de>
 
 	* kpse_subdirs.m4 (new): Define KPSE_CONFIG_SUBDIRS, used in
diff --git a/Build/source/texk/m4/kpse_inc.m4 b/Build/source/texk/m4/kpse_inc.m4
index dfa9a1b85bd..bc4ad8078a4 100644
--- a/Build/source/texk/m4/kpse_inc.m4
+++ b/Build/source/texk/m4/kpse_inc.m4
@@ -80,18 +80,11 @@ if test x"$kpse_file_substs" = x; then
                without any \`kpse_include' directives])
 fi
 # Create the sed command line ...
-dnl # Input lines containing "@configure_input@" are output twice,
-dnl # first unmodified and then with our modifications.
-dnl kpse_substs="sed -e '/@configure_input@/p' \
-dnl   -e 's,@configure_input@,$1.  Generated from `echo $2 |
-dnl   sed 's,.*/,,'` by configure.,'"
-dnl 
-dnl I hope this is portable
 # Input lines containing "@configure_input@" are output twice,
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,$1.  Generated from `echo $2 |
-  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
diff --git a/Build/source/texk/makeindexk/configure b/Build/source/texk/makeindexk/configure
index 6f31a002a34..41f6b2587bd 100755
--- a/Build/source/texk/makeindexk/configure
+++ b/Build/source/texk/makeindexk/configure
@@ -5090,7 +5090,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
diff --git a/Build/source/texk/musixflx/configure b/Build/source/texk/musixflx/configure
index 0360f136115..065267bef16 100755
--- a/Build/source/texk/musixflx/configure
+++ b/Build/source/texk/musixflx/configure
@@ -12016,7 +12016,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
diff --git a/Build/source/texk/ps2pkm/configure b/Build/source/texk/ps2pkm/configure
index 27a8dca94ca..c0aad5cb801 100755
--- a/Build/source/texk/ps2pkm/configure
+++ b/Build/source/texk/ps2pkm/configure
@@ -5326,7 +5326,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
diff --git a/Build/source/texk/seetexk/configure b/Build/source/texk/seetexk/configure
index aee408ecbc2..cf7cdb10eac 100755
--- a/Build/source/texk/seetexk/configure
+++ b/Build/source/texk/seetexk/configure
@@ -12198,7 +12198,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
diff --git a/Build/source/texk/tetex/configure b/Build/source/texk/tetex/configure
index 9271fed2e71..4d31402c960 100755
--- a/Build/source/texk/tetex/configure
+++ b/Build/source/texk/tetex/configure
@@ -4052,7 +4052,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
diff --git a/Build/source/texk/tex4htk/configure b/Build/source/texk/tex4htk/configure
index 190c4ebebdd..bbc16a2eae4 100755
--- a/Build/source/texk/tex4htk/configure
+++ b/Build/source/texk/tex4htk/configure
@@ -11956,7 +11956,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
diff --git a/Build/source/texk/texlive/configure b/Build/source/texk/texlive/configure
index c52ddba80b7..b909eeec582 100755
--- a/Build/source/texk/texlive/configure
+++ b/Build/source/texk/texlive/configure
@@ -11572,7 +11572,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
diff --git a/Build/source/texk/ttf2pk/configure b/Build/source/texk/ttf2pk/configure
index 2b56c1c2a00..c35fcaf38a7 100755
--- a/Build/source/texk/ttf2pk/configure
+++ b/Build/source/texk/ttf2pk/configure
@@ -5115,7 +5115,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
diff --git a/Build/source/texk/web2c/configure b/Build/source/texk/web2c/configure
index 394290be111..b6c81331fb5 100755
--- a/Build/source/texk/web2c/configure
+++ b/Build/source/texk/web2c/configure
@@ -11952,7 +11952,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,omegafonts/Makefile.aux.  Generated from `echo omegafonts/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
@@ -12022,7 +12022,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,otps/Makefile.aux.  Generated from `echo otps/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
@@ -12092,7 +12092,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,pdftexdir/Makefile.aux.  Generated from `echo pdftexdir/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
@@ -12162,7 +12162,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
@@ -12232,7 +12232,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,doc/Makefile.aux.  Generated from `echo doc/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
@@ -12302,7 +12302,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,lib/Makefile.aux.  Generated from `echo lib/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
@@ -12372,7 +12372,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,man/Makefile.aux.  Generated from `echo man/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
@@ -12442,7 +12442,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,mpware/Makefile.aux.  Generated from `echo mpware/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
@@ -12512,7 +12512,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,mpdir/Makefile.aux.  Generated from `echo mpdir/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
@@ -12582,7 +12582,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,web2c/Makefile.aux.  Generated from `echo web2c/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
@@ -12652,7 +12652,7 @@ fi
 # first with our modifications and then unmodified.
 kpse_substs="sed -e '/@configure_input@/ { h; \
   s,@configure_input@,window/Makefile.aux.  Generated from `echo window/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
diff --git a/Build/source/texk/xdv2pdf/configure b/Build/source/texk/xdv2pdf/configure
index ece3cd64e34..71254319716 100755
--- a/Build/source/texk/xdv2pdf/configure
+++ b/Build/source/texk/xdv2pdf/configure
@@ -6753,7 +6753,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
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