update kpathsea to 3.5.7, web2c to 7.5.7, and NEWS files; regenerate configure scripts

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

94 files changed, 296 insertions, 268 deletions

diff --git a/Build/source/libs/gd/stamp-aclocal b/Build/source/libs/gd/stamp-aclocal
index c728b02b989..982f6c93ff0 100644
--- a/Build/source/libs/gd/stamp-aclocal
+++ b/Build/source/libs/gd/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:04 CEST 2008
+Tue Jul  8 19:32:21 CEST 2008
diff --git a/Build/source/libs/gd/stamp-configure b/Build/source/libs/gd/stamp-configure
index 407e71ef473..982f6c93ff0 100644
--- a/Build/source/libs/gd/stamp-configure
+++ b/Build/source/libs/gd/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:05 CEST 2008
+Tue Jul  8 19:32:21 CEST 2008
diff --git a/Build/source/libs/stamp-aclocal b/Build/source/libs/stamp-aclocal
index f8c7b4f1595..d9870cbf95f 100644
--- a/Build/source/libs/stamp-aclocal
+++ b/Build/source/libs/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:08 CEST 2008
+Tue Jul  8 19:32:23 CEST 2008
diff --git a/Build/source/libs/stamp-configure b/Build/source/libs/stamp-configure
index bc9aabde3db..30732171a5f 100644
--- a/Build/source/libs/stamp-configure
+++ b/Build/source/libs/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:09 CEST 2008
+Tue Jul  8 19:32:24 CEST 2008
diff --git a/Build/source/libs/t1lib/stamp-aclocal b/Build/source/libs/t1lib/stamp-aclocal
index 4f79df842a2..cfa8c516a09 100644
--- a/Build/source/libs/t1lib/stamp-aclocal
+++ b/Build/source/libs/t1lib/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:02 CEST 2008
+Tue Jul  8 19:32:20 CEST 2008
diff --git a/Build/source/libs/t1lib/stamp-configure b/Build/source/libs/t1lib/stamp-configure
index c728b02b989..cfa8c516a09 100644
--- a/Build/source/libs/t1lib/stamp-configure
+++ b/Build/source/libs/t1lib/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:04 CEST 2008
+Tue Jul  8 19:32:20 CEST 2008
diff --git a/Build/source/libs/type1/stamp-aclocal b/Build/source/libs/type1/stamp-aclocal
index 230e7bfd3b7..d9870cbf95f 100644
--- a/Build/source/libs/type1/stamp-aclocal
+++ b/Build/source/libs/type1/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:07 CEST 2008
+Tue Jul  8 19:32:23 CEST 2008
diff --git a/Build/source/libs/type1/stamp-configure b/Build/source/libs/type1/stamp-configure
index 230e7bfd3b7..d9870cbf95f 100644
--- a/Build/source/libs/type1/stamp-configure
+++ b/Build/source/libs/type1/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:07 CEST 2008
+Tue Jul  8 19:32:23 CEST 2008
diff --git a/Build/source/libs/xpdf/stamp-aclocal b/Build/source/libs/xpdf/stamp-aclocal
index 88031918fb6..12482a0fbb0 100644
--- a/Build/source/libs/xpdf/stamp-aclocal
+++ b/Build/source/libs/xpdf/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:06 CEST 2008
+Tue Jul  8 19:32:22 CEST 2008
diff --git a/Build/source/libs/xpdf/stamp-configure b/Build/source/libs/xpdf/stamp-configure
index 88031918fb6..12482a0fbb0 100644
--- a/Build/source/libs/xpdf/stamp-configure
+++ b/Build/source/libs/xpdf/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:06 CEST 2008
+Tue Jul  8 19:32:22 CEST 2008
diff --git a/Build/source/stamp-aclocal b/Build/source/stamp-aclocal
index 4f79df842a2..198f4ed1fc5 100644
--- a/Build/source/stamp-aclocal
+++ b/Build/source/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:02 CEST 2008
+Tue Jul  8 19:32:19 CEST 2008
diff --git a/Build/source/stamp-configure b/Build/source/stamp-configure
index 4f79df842a2..198f4ed1fc5 100644
--- a/Build/source/stamp-configure
+++ b/Build/source/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:02 CEST 2008
+Tue Jul  8 19:32:19 CEST 2008
diff --git a/Build/source/texk/afm2pl/stamp-aclocal b/Build/source/texk/afm2pl/stamp-aclocal
index 8ad1cc597dd..5ec2b2c5fec 100644
--- a/Build/source/texk/afm2pl/stamp-aclocal
+++ b/Build/source/texk/afm2pl/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:14 CEST 2008
+Tue Jul  8 19:32:27 CEST 2008
diff --git a/Build/source/texk/afm2pl/stamp-auto.in b/Build/source/texk/afm2pl/stamp-auto.in
index 3c80968ed76..5ec2b2c5fec 100644
--- a/Build/source/texk/afm2pl/stamp-auto.in
+++ b/Build/source/texk/afm2pl/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:15 CEST 2008
+Tue Jul  8 19:32:27 CEST 2008
diff --git a/Build/source/texk/afm2pl/stamp-configure b/Build/source/texk/afm2pl/stamp-configure
index 3c80968ed76..5ec2b2c5fec 100644
--- a/Build/source/texk/afm2pl/stamp-configure
+++ b/Build/source/texk/afm2pl/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:15 CEST 2008
+Tue Jul  8 19:32:27 CEST 2008
diff --git a/Build/source/texk/bibtex8/stamp-aclocal b/Build/source/texk/bibtex8/stamp-aclocal
index bd36869bf7d..401ef6f6f89 100644
--- a/Build/source/texk/bibtex8/stamp-aclocal
+++ b/Build/source/texk/bibtex8/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:30 CEST 2008
+Tue Jul  8 19:32:35 CEST 2008
diff --git a/Build/source/texk/bibtex8/stamp-configure b/Build/source/texk/bibtex8/stamp-configure
index d71c60fcf2e..401ef6f6f89 100644
--- a/Build/source/texk/bibtex8/stamp-configure
+++ b/Build/source/texk/bibtex8/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:31 CEST 2008
+Tue Jul  8 19:32:35 CEST 2008
diff --git a/Build/source/texk/cjkutils/stamp-aclocal b/Build/source/texk/cjkutils/stamp-aclocal
index 4936adf6295..25e0defb8ae 100644
--- a/Build/source/texk/cjkutils/stamp-aclocal
+++ b/Build/source/texk/cjkutils/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:46 CEST 2008
+Tue Jul  8 19:32:44 CEST 2008
diff --git a/Build/source/texk/cjkutils/stamp-configure b/Build/source/texk/cjkutils/stamp-configure
index b7e0303b37b..25e0defb8ae 100644
--- a/Build/source/texk/cjkutils/stamp-configure
+++ b/Build/source/texk/cjkutils/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:47 CEST 2008
+Tue Jul  8 19:32:44 CEST 2008
diff --git a/Build/source/texk/detex/stamp-aclocal b/Build/source/texk/detex/stamp-aclocal
index e329dc8e585..1e1925757fb 100644
--- a/Build/source/texk/detex/stamp-aclocal
+++ b/Build/source/texk/detex/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:35 CEST 2008
+Tue Jul  8 19:32:37 CEST 2008
diff --git a/Build/source/texk/detex/stamp-configure b/Build/source/texk/detex/stamp-configure
index e329dc8e585..1e1925757fb 100644
--- a/Build/source/texk/detex/stamp-configure
+++ b/Build/source/texk/detex/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:35 CEST 2008
+Tue Jul  8 19:32:37 CEST 2008
diff --git a/Build/source/texk/dtl/stamp-aclocal b/Build/source/texk/dtl/stamp-aclocal
index 2f9f3234fa0..fae1ac2709d 100644
--- a/Build/source/texk/dtl/stamp-aclocal
+++ b/Build/source/texk/dtl/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:16 CEST 2008
+Tue Jul  8 19:32:28 CEST 2008
diff --git a/Build/source/texk/dtl/stamp-auto.in b/Build/source/texk/dtl/stamp-auto.in
index 26df499ddda..fae1ac2709d 100644
--- a/Build/source/texk/dtl/stamp-auto.in
+++ b/Build/source/texk/dtl/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:17 CEST 2008
+Tue Jul  8 19:32:28 CEST 2008
diff --git a/Build/source/texk/dtl/stamp-configure b/Build/source/texk/dtl/stamp-configure
index 27a0573d18a..c329621f6da 100644
--- a/Build/source/texk/dtl/stamp-configure
+++ b/Build/source/texk/dtl/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:18 CEST 2008
+Tue Jul  8 19:32:29 CEST 2008
diff --git a/Build/source/texk/dvi2tty/stamp-aclocal b/Build/source/texk/dvi2tty/stamp-aclocal
index dc0b2e87771..31f955517bf 100644
--- a/Build/source/texk/dvi2tty/stamp-aclocal
+++ b/Build/source/texk/dvi2tty/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:29 CEST 2008
+Tue Jul  8 19:32:34 CEST 2008
diff --git a/Build/source/texk/dvi2tty/stamp-auto.in b/Build/source/texk/dvi2tty/stamp-auto.in
index bd36869bf7d..31f955517bf 100644
--- a/Build/source/texk/dvi2tty/stamp-auto.in
+++ b/Build/source/texk/dvi2tty/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:30 CEST 2008
+Tue Jul  8 19:32:34 CEST 2008
diff --git a/Build/source/texk/dvi2tty/stamp-configure b/Build/source/texk/dvi2tty/stamp-configure
index bd36869bf7d..401ef6f6f89 100644
--- a/Build/source/texk/dvi2tty/stamp-configure
+++ b/Build/source/texk/dvi2tty/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:30 CEST 2008
+Tue Jul  8 19:32:35 CEST 2008
diff --git a/Build/source/texk/dvidvi/stamp-aclocal b/Build/source/texk/dvidvi/stamp-aclocal
index 8b248ecba9c..caa9431a02c 100644
--- a/Build/source/texk/dvidvi/stamp-aclocal
+++ b/Build/source/texk/dvidvi/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:43 CEST 2008
+Tue Jul  8 19:32:42 CEST 2008
diff --git a/Build/source/texk/dvidvi/stamp-auto.in b/Build/source/texk/dvidvi/stamp-auto.in
index e9ae1fb4332..709395db26d 100644
--- a/Build/source/texk/dvidvi/stamp-auto.in
+++ b/Build/source/texk/dvidvi/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:45 CEST 2008
+Tue Jul  8 19:32:43 CEST 2008
diff --git a/Build/source/texk/dvidvi/stamp-configure b/Build/source/texk/dvidvi/stamp-configure
index e9ae1fb4332..709395db26d 100644
--- a/Build/source/texk/dvidvi/stamp-configure
+++ b/Build/source/texk/dvidvi/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:45 CEST 2008
+Tue Jul  8 19:32:43 CEST 2008
diff --git a/Build/source/texk/dviljk/stamp-aclocal b/Build/source/texk/dviljk/stamp-aclocal
index a7a420dd7a2..68ce4046f12 100644
--- a/Build/source/texk/dviljk/stamp-aclocal
+++ b/Build/source/texk/dviljk/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:41 CEST 2008
+Tue Jul  8 19:32:41 CEST 2008
diff --git a/Build/source/texk/dviljk/stamp-auto.in b/Build/source/texk/dviljk/stamp-auto.in
index 89f8e68854d..68ce4046f12 100644
--- a/Build/source/texk/dviljk/stamp-auto.in
+++ b/Build/source/texk/dviljk/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:42 CEST 2008
+Tue Jul  8 19:32:41 CEST 2008
diff --git a/Build/source/texk/dviljk/stamp-configure b/Build/source/texk/dviljk/stamp-configure
index 89f8e68854d..caa9431a02c 100644
--- a/Build/source/texk/dviljk/stamp-configure
+++ b/Build/source/texk/dviljk/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:42 CEST 2008
+Tue Jul  8 19:32:42 CEST 2008
diff --git a/Build/source/texk/dvipdfm/stamp-aclocal b/Build/source/texk/dvipdfm/stamp-aclocal
index b7e0303b37b..25e0defb8ae 100644
--- a/Build/source/texk/dvipdfm/stamp-aclocal
+++ b/Build/source/texk/dvipdfm/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:47 CEST 2008
+Tue Jul  8 19:32:44 CEST 2008
diff --git a/Build/source/texk/dvipdfm/stamp-auto.in b/Build/source/texk/dvipdfm/stamp-auto.in
index fe7ba893de2..94d65ddfcc6 100644
--- a/Build/source/texk/dvipdfm/stamp-auto.in
+++ b/Build/source/texk/dvipdfm/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:48 CEST 2008
+Tue Jul  8 19:32:45 CEST 2008
diff --git a/Build/source/texk/dvipdfm/stamp-configure b/Build/source/texk/dvipdfm/stamp-configure
index ada45d19ef5..94d65ddfcc6 100644
--- a/Build/source/texk/dvipdfm/stamp-configure
+++ b/Build/source/texk/dvipdfm/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:49 CEST 2008
+Tue Jul  8 19:32:45 CEST 2008
diff --git a/Build/source/texk/dvipos/stamp-aclocal b/Build/source/texk/dvipos/stamp-aclocal
index 2a81d674843..7e026805112 100644
--- a/Build/source/texk/dvipos/stamp-aclocal
+++ b/Build/source/texk/dvipos/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:27 CEST 2008
+Tue Jul  8 19:32:33 CEST 2008
diff --git a/Build/source/texk/dvipos/stamp-auto.in b/Build/source/texk/dvipos/stamp-auto.in
index d3e53ad212c..7e026805112 100644
--- a/Build/source/texk/dvipos/stamp-auto.in
+++ b/Build/source/texk/dvipos/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:28 CEST 2008
+Tue Jul  8 19:32:33 CEST 2008
diff --git a/Build/source/texk/dvipos/stamp-configure b/Build/source/texk/dvipos/stamp-configure
index dc0b2e87771..31f955517bf 100644
--- a/Build/source/texk/dvipos/stamp-configure
+++ b/Build/source/texk/dvipos/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:29 CEST 2008
+Tue Jul  8 19:32:34 CEST 2008
diff --git a/Build/source/texk/dvipsk/stamp-aclocal b/Build/source/texk/dvipsk/stamp-aclocal
index 67d0173aad6..c70202e3406 100644
--- a/Build/source/texk/dvipsk/stamp-aclocal
+++ b/Build/source/texk/dvipsk/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:25 CEST 2008
+Tue Jul  8 19:32:32 CEST 2008
diff --git a/Build/source/texk/dvipsk/stamp-auto.in b/Build/source/texk/dvipsk/stamp-auto.in
index 67d0173aad6..c70202e3406 100644
--- a/Build/source/texk/dvipsk/stamp-auto.in
+++ b/Build/source/texk/dvipsk/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:25 CEST 2008
+Tue Jul  8 19:32:32 CEST 2008
diff --git a/Build/source/texk/dvipsk/stamp-configure b/Build/source/texk/dvipsk/stamp-configure
index 8cf295666c9..c70202e3406 100644
--- a/Build/source/texk/dvipsk/stamp-configure
+++ b/Build/source/texk/dvipsk/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:26 CEST 2008
+Tue Jul  8 19:32:32 CEST 2008
diff --git a/Build/source/texk/gsftopk/stamp-aclocal b/Build/source/texk/gsftopk/stamp-aclocal
index 8e2307e3636..8bef149f8e2 100644
--- a/Build/source/texk/gsftopk/stamp-aclocal
+++ b/Build/source/texk/gsftopk/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:37 CEST 2008
+Tue Jul  8 19:32:39 CEST 2008
diff --git a/Build/source/texk/gsftopk/stamp-auto.in b/Build/source/texk/gsftopk/stamp-auto.in
index 29551e3e5c5..8bef149f8e2 100644
--- a/Build/source/texk/gsftopk/stamp-auto.in
+++ b/Build/source/texk/gsftopk/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:38 CEST 2008
+Tue Jul  8 19:32:39 CEST 2008
diff --git a/Build/source/texk/gsftopk/stamp-configure b/Build/source/texk/gsftopk/stamp-configure
index 29551e3e5c5..8bef149f8e2 100644
--- a/Build/source/texk/gsftopk/stamp-configure
+++ b/Build/source/texk/gsftopk/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:38 CEST 2008
+Tue Jul  8 19:32:39 CEST 2008
diff --git a/Build/source/texk/kpathsea/ChangeLog b/Build/source/texk/kpathsea/ChangeLog
index 600a3915a5e..06936c72a20 100644
--- a/Build/source/texk/kpathsea/ChangeLog
+++ b/Build/source/texk/kpathsea/ChangeLog
@@ -1,3 +1,7 @@
+2008-07-08  Karl Berry  <karl@tug.org>
+
+	* configure.in: version 3.5.7.
+
 2008-07-06  Karl Berry  <karl@tug.org>
 
 	* withenable.ac (texmfmain): do not bother with long verbose
@@ -193,12 +197,15 @@
 	* acconfig.h: ... removed.
 
 2008-02-24  Martin Schröder <martin@pdftex.org>
+
         * lib.h: systypes.h instead of c-std.h
 
 2008-02-23  Martin Schröder <martin@pdftex.org>
+
         * lib.h: include c-std.h to get off_t from stdio.h
 
 2008-02-21  Martin Schröder <martin@pdftex.org>
+
         * lib.h, xfseek.c, xftell.c: LFS support: use off_t instead of long
         and fseeko instead of fseek
 
diff --git a/Build/source/texk/kpathsea/NEWS b/Build/source/texk/kpathsea/NEWS
index 3001bc29d7b..5468ea91540 100644
--- a/Build/source/texk/kpathsea/NEWS
+++ b/Build/source/texk/kpathsea/NEWS
@@ -1,10 +1,19 @@
 This file records noteworthy changes.
-3.5.6 (for TeX Collection 2006-07)
+3.5.7 (for TeX Collection 2008, 8 July 2008)
+* kpsewhich has new options --all (to report all matches) and --subdir
+  (to limit matches).
+* more file suffixes (.dtx, et al.) and special files (updmap.cfg, et al.)
+  found automatically.
+* add basic Lua support.
+* add 64-bit functions for pdftex.
+* autoconf support finally modernized.
+
+3.5.6 (for TeX Collection 2006-07, 30 December 2006)
 * longstanding minor portability/warnings problems.
 
 3.5.5
 * Copyrights of some source files were erroneously attributed to FSF.
-* On UNIX, accept the semicolon as well as the colon in environment
+* On Unix, accept the semicolon as well as the colon in environment
   variables like TEXINPUTS.
 * Keep metafont from choking on large literals (> 4000) when calling
   mktexpk.
diff --git a/Build/source/texk/kpathsea/configure b/Build/source/texk/kpathsea/configure
index deac23edc06..5e53b12fadf 100755
--- a/Build/source/texk/kpathsea/configure
+++ b/Build/source/texk/kpathsea/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.62 for kpathsea 3.5.6dev.
+# Generated by GNU Autoconf 2.62 for kpathsea 3.5.7.
 #
 # Report bugs to <tex-k@mail.tug.org>.
 #
@@ -755,8 +755,8 @@ SHELL=${CONFIG_SHELL-/bin/sh}
 # Identity of this package.
 PACKAGE_NAME='kpathsea'
 PACKAGE_TARNAME='kpathsea'
-PACKAGE_VERSION='3.5.6dev'
-PACKAGE_STRING='kpathsea 3.5.6dev'
+PACKAGE_VERSION='3.5.7'
+PACKAGE_STRING='kpathsea 3.5.7'
 PACKAGE_BUGREPORT='tex-k@mail.tug.org'
 
 ac_unique_file="pathsearch.c"
@@ -1454,7 +1454,7 @@ if test "$ac_init_help" = "long"; then
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<_ACEOF
-\`configure' configures kpathsea 3.5.6dev to adapt to many kinds of systems.
+\`configure' configures kpathsea 3.5.7 to adapt to many kinds of systems.
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
@@ -1519,7 +1519,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
-     short | recursive ) echo "Configuration of kpathsea 3.5.6dev:";;
+     short | recursive ) echo "Configuration of kpathsea 3.5.7:";;
    esac
   cat <<\_ACEOF
 
@@ -1624,7 +1624,7 @@ fi
 test -n "$ac_init_help" && exit $ac_status
 if $ac_init_version; then
   cat <<\_ACEOF
-kpathsea configure 3.5.6dev
+kpathsea configure 3.5.7
 generated by GNU Autoconf 2.62
 
 Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001,
@@ -1638,7 +1638,7 @@ cat >config.log <<_ACEOF
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 
-It was created by kpathsea $as_me 3.5.6dev, which was
+It was created by kpathsea $as_me 3.5.7, which was
 generated by GNU Autoconf 2.62.  Invocation command line was
 
   $ $0 $@
@@ -2006,10 +2006,10 @@ ac_compiler_gnu=$ac_cv_c_compiler_gnu
 
 
 
-KPSEVERSION=3.5.6dev
+KPSEVERSION=3.5.7
 
 cat >>confdefs.h <<\_ACEOF
-#define KPSEVERSION "kpathsea version 3.5.6dev"
+#define KPSEVERSION "kpathsea version 3.5.7"
 _ACEOF
 
 KPSE_LT_VERS=5:0:1
@@ -11578,7 +11578,7 @@ exec 6>&1
 # report actual input values of CONFIG_FILES etc. instead of their
 # values after options handling.
 ac_log="
-This file was extended by kpathsea $as_me 3.5.6dev, which was
+This file was extended by kpathsea $as_me 3.5.7, which was
 generated by GNU Autoconf 2.62.  Invocation command line was
 
   CONFIG_FILES    = $CONFIG_FILES
@@ -11627,7 +11627,7 @@ Report bugs to <bug-autoconf@gnu.org>."
 _ACEOF
 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
 ac_cs_version="\\
-kpathsea config.status 3.5.6dev
+kpathsea config.status 3.5.7
 configured by $0, generated by GNU Autoconf 2.62,
   with options \\"`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`\\"
 
diff --git a/Build/source/texk/kpathsea/configure.in b/Build/source/texk/kpathsea/configure.in
index 2b79ffb6bad..e52ec24ac28 100644
--- a/Build/source/texk/kpathsea/configure.in
+++ b/Build/source/texk/kpathsea/configure.in
@@ -20,8 +20,8 @@ dnl     kpse_lib_micro = 0;
 dnl
 m4_define([kpse_major_version], [3])[]dnl
 m4_define([kpse_minor_version], [5])[]dnl
-m4_define([kpse_micro_version], [6])[]dnl
-m4_define([kpse_devel_version], [dev])[]dnl
+m4_define([kpse_micro_version], [7])[]dnl
+m4_define([kpse_devel_version], [])[]dnl
 m4_define([kpse_version], [kpse_major_version.kpse_minor_version.kpse_micro_version[]kpse_devel_version])[]dnl
 
 m4_define([kpse_lib_major], [4])[]dnl
diff --git a/Build/source/texk/kpathsea/kpathsea.info b/Build/source/texk/kpathsea/kpathsea.info
index 5b3b516a974..52e8fdc336f 100644
--- a/Build/source/texk/kpathsea/kpathsea.info
+++ b/Build/source/texk/kpathsea/kpathsea.info
@@ -39,8 +39,8 @@ Kpathsea library
 ****************
 
 This manual documents how to install and use the Kpathsea library for
-filename lookup.  It corresponds to version 3.5.6dev, released in
-May 2008.
+filename lookup.  It corresponds to version 3.5.7, released in
+July 2008.
 
 * Menu:
 
@@ -60,8 +60,8 @@ File: kpathsea.info,  Node: Introduction,  Next: Installation,  Prev: Top,  Up:
 1 Introduction
 **************
 
-This manual corresponds to version 3.5.6dev of the Kpathsea library,
-released in May 2008.
+This manual corresponds to version 3.5.7 of the Kpathsea library,
+released in July 2008.
 
    The library's fundamental purpose is to return a filename from a
 list of directories specified by the user, similar to what shells do
@@ -4772,85 +4772,85 @@ Index
 
 Tag Table:
 Node: Top1552
-Node: Introduction2197
-Node: History4175
-Node: Installation8267
-Node: Simple installation9057
-Node: Custom installation12640
-Node: Disk space13814
-Node: Kpathsea application distributions14698
-Node: Changing search paths15813
-Node: Default path features16995
-Node: Default path generation19131
-Node: Running configure20574
-Node: configure shells21625
-Node: configure options22677
-Node: configure environment24184
-Node: configure scenarios25986
-Node: Shared library27572
-Node: Running make28586
-Node: Installing files30633
-Node: Cleaning up32580
-Node: Filename database generation33628
-Node: mktex scripts34195
-Node: mktex configuration35472
-Node: mktex script names41291
-Node: mktex script arguments42682
-Node: Installation testing43572
-Node: Security43936
-Node: TeX directory structure46503
-Node: unixtex.ftp50925
-Node: Electronic distribution52940
-Node: CD-ROM distribution55705
-Node: Other TeX packages56675
-Node: Reporting bugs57971
-Node: Bug checklist58711
-Node: Mailing lists62413
-Node: Debugging63772
-Node: Logging68844
-Node: Common problems70714
-Node: Unable to find files71545
-Node: Slow path searching73956
-Node: Unable to generate fonts75333
-Node: TeX or Metafont failing77842
-Node: Empty Makefiles79720
-Node: XtStrings80950
-Node: dlopen81786
-Node: ShellWidgetClass82604
-Node: Pointer combination warnings84236
-Node: Path searching84625
-Node: Searching overview85272
-Node: Path sources88668
-Node: Config files89739
-Node: Path expansion93384
-Node: Default expansion94333
-Node: Variable expansion96403
-Node: Tilde expansion97806
-Node: Brace expansion98786
-Node: KPSE_DOT expansion99891
-Node: Subdirectory expansion100404
-Node: Filename database102753
-Node: ls-R103807
-Node: Filename aliases106701
-Node: Database format107879
-Node: Invoking kpsewhich108892
-Node: Path searching options109837
-Node: Specially-recognized files116857
-Node: Auxiliary tasks118181
-Node: Standard options120006
-Node: TeX support120326
-Node: Supported file formats121617
-Node: File lookup128765
-Node: Glyph lookup130493
-Node: Basic glyph lookup131620
-Node: Fontmap132499
-Node: Fallback font135116
-Node: Suppressing warnings136081
-Node: Programming137186
-Node: Programming overview137699
-Node: Calling sequence139975
-Node: Program-specific files144967
-Node: Programming with config files146005
-Node: Index147305
+Node: Introduction2195
+Node: History4171
+Node: Installation8263
+Node: Simple installation9053
+Node: Custom installation12636
+Node: Disk space13810
+Node: Kpathsea application distributions14694
+Node: Changing search paths15809
+Node: Default path features16991
+Node: Default path generation19127
+Node: Running configure20570
+Node: configure shells21621
+Node: configure options22673
+Node: configure environment24180
+Node: configure scenarios25982
+Node: Shared library27568
+Node: Running make28582
+Node: Installing files30629
+Node: Cleaning up32576
+Node: Filename database generation33624
+Node: mktex scripts34191
+Node: mktex configuration35468
+Node: mktex script names41287
+Node: mktex script arguments42678
+Node: Installation testing43568
+Node: Security43932
+Node: TeX directory structure46499
+Node: unixtex.ftp50921
+Node: Electronic distribution52936
+Node: CD-ROM distribution55701
+Node: Other TeX packages56671
+Node: Reporting bugs57967
+Node: Bug checklist58707
+Node: Mailing lists62409
+Node: Debugging63768
+Node: Logging68840
+Node: Common problems70710
+Node: Unable to find files71541
+Node: Slow path searching73952
+Node: Unable to generate fonts75329
+Node: TeX or Metafont failing77838
+Node: Empty Makefiles79716
+Node: XtStrings80946
+Node: dlopen81782
+Node: ShellWidgetClass82600
+Node: Pointer combination warnings84232
+Node: Path searching84621
+Node: Searching overview85268
+Node: Path sources88664
+Node: Config files89735
+Node: Path expansion93380
+Node: Default expansion94329
+Node: Variable expansion96399
+Node: Tilde expansion97802
+Node: Brace expansion98782
+Node: KPSE_DOT expansion99887
+Node: Subdirectory expansion100400
+Node: Filename database102749
+Node: ls-R103803
+Node: Filename aliases106697
+Node: Database format107875
+Node: Invoking kpsewhich108888
+Node: Path searching options109833
+Node: Specially-recognized files116853
+Node: Auxiliary tasks118177
+Node: Standard options120002
+Node: TeX support120322
+Node: Supported file formats121613
+Node: File lookup128761
+Node: Glyph lookup130489
+Node: Basic glyph lookup131616
+Node: Fontmap132495
+Node: Fallback font135112
+Node: Suppressing warnings136077
+Node: Programming137182
+Node: Programming overview137695
+Node: Calling sequence139971
+Node: Program-specific files144963
+Node: Programming with config files146001
+Node: Index147301
 
 End Tag Table
diff --git a/Build/source/texk/kpathsea/kpathsea.texi b/Build/source/texk/kpathsea/kpathsea.texi
index c75a8cf3fe4..9275ff219d2 100644
--- a/Build/source/texk/kpathsea/kpathsea.texi
+++ b/Build/source/texk/kpathsea/kpathsea.texi
@@ -2,8 +2,8 @@
 @setfilename kpathsea.info
 @settitle Kpathsea: A library for path searching
 
-@set version 3.5.6dev
-@set month-year May 2008
+@set version 3.5.7
+@set month-year July 2008
 
 @copying
 This file documents the Kpathsea library for path searching.
diff --git a/Build/source/texk/kpathsea/stamp-aclocal b/Build/source/texk/kpathsea/stamp-aclocal
index e3c968b5cdb..9d9887176c9 100644
--- a/Build/source/texk/kpathsea/stamp-aclocal
+++ b/Build/source/texk/kpathsea/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:53 CEST 2008
+Tue Jul  8 19:32:49 CEST 2008
diff --git a/Build/source/texk/kpathsea/stamp-auto.in b/Build/source/texk/kpathsea/stamp-auto.in
index a261272ff25..4036a6ffbaa 100644
--- a/Build/source/texk/kpathsea/stamp-auto.in
+++ b/Build/source/texk/kpathsea/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:55 CEST 2008
+Tue Jul  8 19:32:51 CEST 2008
diff --git a/Build/source/texk/kpathsea/stamp-configure b/Build/source/texk/kpathsea/stamp-configure
index a261272ff25..4036a6ffbaa 100644
--- a/Build/source/texk/kpathsea/stamp-configure
+++ b/Build/source/texk/kpathsea/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:55 CEST 2008
+Tue Jul  8 19:32:51 CEST 2008
diff --git a/Build/source/texk/lacheck/stamp-aclocal b/Build/source/texk/lacheck/stamp-aclocal
index 3db3586249e..8844b35fb40 100644
--- a/Build/source/texk/lacheck/stamp-aclocal
+++ b/Build/source/texk/lacheck/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:22 CEST 2008
+Tue Jul  8 19:32:31 CEST 2008
diff --git a/Build/source/texk/lacheck/stamp-auto.in b/Build/source/texk/lacheck/stamp-auto.in
index 05e714dbd2f..8844b35fb40 100644
--- a/Build/source/texk/lacheck/stamp-auto.in
+++ b/Build/source/texk/lacheck/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:24 CEST 2008
+Tue Jul  8 19:32:31 CEST 2008
diff --git a/Build/source/texk/lacheck/stamp-configure b/Build/source/texk/lacheck/stamp-configure
index 05e714dbd2f..8844b35fb40 100644
--- a/Build/source/texk/lacheck/stamp-configure
+++ b/Build/source/texk/lacheck/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:24 CEST 2008
+Tue Jul  8 19:32:31 CEST 2008
diff --git a/Build/source/texk/makeindexk/stamp-aclocal b/Build/source/texk/makeindexk/stamp-aclocal
index c6ba8e625d8..3f57c0e6025 100644
--- a/Build/source/texk/makeindexk/stamp-aclocal
+++ b/Build/source/texk/makeindexk/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:13 CEST 2008
+Tue Jul  8 19:32:26 CEST 2008
diff --git a/Build/source/texk/makeindexk/stamp-auto.in b/Build/source/texk/makeindexk/stamp-auto.in
index c6ba8e625d8..3f57c0e6025 100644
--- a/Build/source/texk/makeindexk/stamp-auto.in
+++ b/Build/source/texk/makeindexk/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:13 CEST 2008
+Tue Jul  8 19:32:26 CEST 2008
diff --git a/Build/source/texk/makeindexk/stamp-configure b/Build/source/texk/makeindexk/stamp-configure
index 8ad1cc597dd..3f57c0e6025 100644
--- a/Build/source/texk/makeindexk/stamp-configure
+++ b/Build/source/texk/makeindexk/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:14 CEST 2008
+Tue Jul  8 19:32:26 CEST 2008
diff --git a/Build/source/texk/musixflx/stamp-aclocal b/Build/source/texk/musixflx/stamp-aclocal
index 950ae4306f1..60cb2e2d27b 100644
--- a/Build/source/texk/musixflx/stamp-aclocal
+++ b/Build/source/texk/musixflx/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:10 CEST 2008
+Tue Jul  8 19:32:25 CEST 2008
diff --git a/Build/source/texk/musixflx/stamp-auto.in b/Build/source/texk/musixflx/stamp-auto.in
index 02dfe823f12..60cb2e2d27b 100644
--- a/Build/source/texk/musixflx/stamp-auto.in
+++ b/Build/source/texk/musixflx/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:12 CEST 2008
+Tue Jul  8 19:32:25 CEST 2008
diff --git a/Build/source/texk/musixflx/stamp-configure b/Build/source/texk/musixflx/stamp-configure
index 02dfe823f12..60cb2e2d27b 100644
--- a/Build/source/texk/musixflx/stamp-configure
+++ b/Build/source/texk/musixflx/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:12 CEST 2008
+Tue Jul  8 19:32:25 CEST 2008
diff --git a/Build/source/texk/ps2pkm/stamp-aclocal b/Build/source/texk/ps2pkm/stamp-aclocal
index 8a203bc5022..5669894f57a 100644
--- a/Build/source/texk/ps2pkm/stamp-aclocal
+++ b/Build/source/texk/ps2pkm/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:59 CEST 2008
+Tue Jul  8 19:32:56 CEST 2008
diff --git a/Build/source/texk/ps2pkm/stamp-auto.in b/Build/source/texk/ps2pkm/stamp-auto.in
index 624a2c5d211..1b8ce010556 100644
--- a/Build/source/texk/ps2pkm/stamp-auto.in
+++ b/Build/source/texk/ps2pkm/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:41:00 CEST 2008
+Tue Jul  8 19:32:57 CEST 2008
diff --git a/Build/source/texk/ps2pkm/stamp-configure b/Build/source/texk/ps2pkm/stamp-configure
index 624a2c5d211..1b8ce010556 100644
--- a/Build/source/texk/ps2pkm/stamp-configure
+++ b/Build/source/texk/ps2pkm/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:41:00 CEST 2008
+Tue Jul  8 19:32:57 CEST 2008
diff --git a/Build/source/texk/seetexk/stamp-aclocal b/Build/source/texk/seetexk/stamp-aclocal
index 688bc2c36da..810c412c3f7 100644
--- a/Build/source/texk/seetexk/stamp-aclocal
+++ b/Build/source/texk/seetexk/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:32 CEST 2008
+Tue Jul  8 19:32:36 CEST 2008
diff --git a/Build/source/texk/seetexk/stamp-auto.in b/Build/source/texk/seetexk/stamp-auto.in
index a391f6552bc..810c412c3f7 100644
--- a/Build/source/texk/seetexk/stamp-auto.in
+++ b/Build/source/texk/seetexk/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:33 CEST 2008
+Tue Jul  8 19:32:36 CEST 2008
diff --git a/Build/source/texk/seetexk/stamp-configure b/Build/source/texk/seetexk/stamp-configure
index eb1b4e30582..1e1925757fb 100644
--- a/Build/source/texk/seetexk/stamp-configure
+++ b/Build/source/texk/seetexk/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:34 CEST 2008
+Tue Jul  8 19:32:37 CEST 2008
diff --git a/Build/source/texk/stamp-aclocal b/Build/source/texk/stamp-aclocal
index cd365317c48..68f5730c857 100644
--- a/Build/source/texk/stamp-aclocal
+++ b/Build/source/texk/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:41:02 CEST 2008
+Tue Jul  8 19:32:59 CEST 2008
diff --git a/Build/source/texk/stamp-configure b/Build/source/texk/stamp-configure
index 5d82ef98901..68f5730c857 100644
--- a/Build/source/texk/stamp-configure
+++ b/Build/source/texk/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:41:03 CEST 2008
+Tue Jul  8 19:32:59 CEST 2008
diff --git a/Build/source/texk/tex4htk/stamp-aclocal b/Build/source/texk/tex4htk/stamp-aclocal
index ab90cc5a489..4feb94b1c65 100644
--- a/Build/source/texk/tex4htk/stamp-aclocal
+++ b/Build/source/texk/tex4htk/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:50 CEST 2008
+Tue Jul  8 19:32:46 CEST 2008
diff --git a/Build/source/texk/tex4htk/stamp-auto.in b/Build/source/texk/tex4htk/stamp-auto.in
index d9e687e94bc..882f3cd9518 100644
--- a/Build/source/texk/tex4htk/stamp-auto.in
+++ b/Build/source/texk/tex4htk/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:52 CEST 2008
+Tue Jul  8 19:32:47 CEST 2008
diff --git a/Build/source/texk/tex4htk/stamp-configure b/Build/source/texk/tex4htk/stamp-configure
index d9e687e94bc..882f3cd9518 100644
--- a/Build/source/texk/tex4htk/stamp-configure
+++ b/Build/source/texk/tex4htk/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:52 CEST 2008
+Tue Jul  8 19:32:47 CEST 2008
diff --git a/Build/source/texk/texlive/stamp-aclocal b/Build/source/texk/texlive/stamp-aclocal
index b9d81eb4ffb..fc49888e830 100644
--- a/Build/source/texk/texlive/stamp-aclocal
+++ b/Build/source/texk/texlive/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:39 CEST 2008
+Tue Jul  8 19:32:40 CEST 2008
diff --git a/Build/source/texk/texlive/stamp-configure b/Build/source/texk/texlive/stamp-configure
index a7a420dd7a2..68ce4046f12 100644
--- a/Build/source/texk/texlive/stamp-configure
+++ b/Build/source/texk/texlive/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:41 CEST 2008
+Tue Jul  8 19:32:41 CEST 2008
diff --git a/Build/source/texk/ttf2pk/stamp-aclocal b/Build/source/texk/ttf2pk/stamp-aclocal
index a941ee08a76..89f6f21755b 100644
--- a/Build/source/texk/ttf2pk/stamp-aclocal
+++ b/Build/source/texk/ttf2pk/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:36 CEST 2008
+Tue Jul  8 19:32:38 CEST 2008
diff --git a/Build/source/texk/ttf2pk/stamp-auto.in b/Build/source/texk/ttf2pk/stamp-auto.in
index a941ee08a76..89f6f21755b 100644
--- a/Build/source/texk/ttf2pk/stamp-auto.in
+++ b/Build/source/texk/ttf2pk/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:36 CEST 2008
+Tue Jul  8 19:32:38 CEST 2008
diff --git a/Build/source/texk/ttf2pk/stamp-configure b/Build/source/texk/ttf2pk/stamp-configure
index 8e2307e3636..89f6f21755b 100644
--- a/Build/source/texk/ttf2pk/stamp-configure
+++ b/Build/source/texk/ttf2pk/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:37 CEST 2008
+Tue Jul  8 19:32:38 CEST 2008
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog
index 022489f78c0..3182a533c57 100644
--- a/Build/source/texk/web2c/ChangeLog
+++ b/Build/source/texk/web2c/ChangeLog
@@ -1,3 +1,7 @@
+2008-07-08  Karl Berry  <karl@tug.org>
+
+	* configure.in (WEB2CVERSION): 7.5.7.
+
 2008-07-01  Karl Berry  <karl@tug.org>
 
 	* texmfmp-help.h [MP] (MPHELP): mpost is usually named mpost,
@@ -22,7 +26,7 @@
 
 	* luatexdir/luatex.mk (install-exec): install texlua symlink.
 
-2008-05-31  Karl Berry  <karl@tug.org>
+x2008-05-31  Karl Berry  <karl@tug.org>
 
 	* Makefile.in (install-programs): stupidly forgot to install
 	$(basic_engines).
diff --git a/Build/source/texk/web2c/NEWS b/Build/source/texk/web2c/NEWS
index 7c86cff8e80..923b3c8c75e 100644
--- a/Build/source/texk/web2c/NEWS
+++ b/Build/source/texk/web2c/NEWS
@@ -1,10 +1,18 @@
 This file records noteworthy changes.
 
-7.5.6 (for TeX Collection 2006-07)
+7.5.7 (for TeX Collection 2008, 7 July 2008)
+* Include Knuth's 2008 updates.
+* Include LuaTeX.
+* Include SyncTeX.
+* Plenty of pdfTeX and MetaPost updates.
+* Pool strings now compiled into the binaries instead of .pool files.
+* autoconf support finally modernized.
+
+7.5.6 (for TeX Collection 2006-07, 30 December 2006)
 * Include XeTeX.
 * pdfTeX and MetaPost updates.
 
-7.5.5
+7.5.5 (26 June 2005)
 * BibTeX: dynamically resize the buffer (and related arrays).
 * MP: Version 0.9
 * mpware: Brought to the equivalent of version 0.9.
diff --git a/Build/source/texk/web2c/configure b/Build/source/texk/web2c/configure
index e0daf8a0f6f..4324b3fb31c 100755
--- a/Build/source/texk/web2c/configure
+++ b/Build/source/texk/web2c/configure
@@ -1992,7 +1992,7 @@ ac_compiler_gnu=$ac_cv_c_compiler_gnu
 
 
 
-WEB2CVERSION=7.5.6
+WEB2CVERSION=7.5.7
 
 cat >>confdefs.h <<_ACEOF
 #define WEB2CVERSION " (Web2C $WEB2CVERSION)"
diff --git a/Build/source/texk/web2c/configure.in b/Build/source/texk/web2c/configure.in
index 3bb0281d335..cdc50590d8e 100644
--- a/Build/source/texk/web2c/configure.in
+++ b/Build/source/texk/web2c/configure.in
@@ -16,7 +16,7 @@ dnl to build part of the distribution may not have any given program.
 dnl Even main.c isn't guaranteed, but then nothing is, really ...
 AC_INIT(web2c/main.c)
 
-WEB2CVERSION=7.5.6
+WEB2CVERSION=7.5.7
 AC_SUBST(WEB2CVERSION)
 AC_DEFINE_UNQUOTED(WEB2CVERSION," (Web2C $WEB2CVERSION)")
 
diff --git a/Build/source/texk/web2c/doc/web2c.info b/Build/source/texk/web2c/doc/web2c.info
index 1f6ba19a74c..c10f40efd81 100644
--- a/Build/source/texk/web2c/doc/web2c.info
+++ b/Build/source/texk/web2c/doc/web2c.info
@@ -1,7 +1,7 @@
+This is web2c.info, produced by makeinfo version 4.12 from web2c.texi.
+
 INFO-DIR-SECTION TeX
 START-INFO-DIR-ENTRY
-This is web2c.info, produced by makeinfo version 4.11 from web2c.texi.
-
 * Web2c: (web2c).               TeX, Metafont, and companion programs.
 END-INFO-DIR-ENTRY
 INFO-DIR-SECTION Individual utilities
@@ -62,7 +62,7 @@ Web2c
 
 This document describes how to install and use the programs in the Web2c
 implementation of the TeX system, especially for Unix systems.  It
-corresponds to Web2c version 7.5.6, released in December 2007.
+corresponds to Web2c version 7.5.7, released in July 2008.
 
 * Menu:
 
@@ -86,8 +86,8 @@ File: web2c.info,  Node: Introduction,  Next: Installation,  Prev: Top,  Up: Top
 1 Introduction
 **************
 
-This manual corresponds to version 7.5.6 of Web2c, released in
-December 2007.
+This manual corresponds to version 7.5.7 of Web2c, released in
+July 2008.
 
    "Web2c" is the name of a TeX implementation, originally for Unix,
 but now also running under DOS, Amiga, and other operating systems. By
@@ -3498,7 +3498,7 @@ items:
      `CTAN:/fonts/utilities/ps2pk'.
 
    * PostScript Type 1 font format conversion (i.e., between PFA and PFB
-     formats): `ftp://ftp.tug.org/tex/t1utils.tar.gz'.
+     formats): `http://www.lcdf.org/type'.
 
    * Scanned image conversion: the (aging) GNU font utilities convert
      type specimen images to Metafont, PostScript, etc.:
@@ -4689,77 +4689,77 @@ Index
 
 Tag Table:
 Node: Top3053
-Node: Introduction4052
-Node: Installation7233
-Node: configure options9397
-Node: Compile-time options11479
-Node: Additional targets12605
-Node: Triptrap13886
-Node: Runtime options15415
-Node: Commonalities17187
-Node: Option conventions17792
-Node: Common options19016
-Node: Path searching23528
-Node: Output file location24550
-Node: Three programs25590
-Node: Initial and virgin26349
-Node: Memory dumps27449
-Node: Creating memory dumps27916
-Node: Determining the memory dump to use29177
-Node: Hardware and memory dumps30801
-Node: Editor invocation33270
-Node: \input filenames34000
-Node: TeX36993
-Node: tex invocation38083
-Node: Initial TeX46015
-Node: Formats47504
-Node: Languages and hyphenation50443
-Node: MLTeX50871
-Node: \charsubdef52366
-Node: \tracingcharsubdef54692
-Node: TCX files55267
-Node: patgen invocation60691
-Node: IPC and TeX61408
-Node: TeX extensions62009
-Node: Metafont63310
-Node: mf invocation64598
-Node: Initial Metafont68481
-Node: Modes70234
-Node: Online Metafont graphics72489
-Node: gftodvi invocation75762
-Node: mft invocation78584
-Node: MetaPost82639
-Node: mpost invocation83660
-Node: Initial MetaPost88845
-Node: makempx invocation90656
-Node: dvitomp invocation94661
-Node: dmp invocation95432
-Node: mpto invocation99453
-Node: newer invocation100435
-Node: BibTeX101372
-Node: bibtex invocation101733
-Node: Basic BibTeX style files104058
-Node: WEB105400
-Node: tangle invocation106683
-Node: weave invocation108806
-Node: pooltype invocation110214
-Node: DVI utilities111344
-Node: dvicopy invocation112288
-Node: dvitype invocation113586
-Node: dvitype output example115941
-Node: Font utilities118992
-Node: Font file formats120172
-Node: gftopk invocation123471
-Node: pktogf invocation124675
-Node: pktype invocation125854
-Node: gftype invocation128689
-Node: tftopl invocation133205
-Node: pltotf invocation137839
-Node: vftovp invocation138904
-Node: vptovf invocation141188
-Node: Font utilities available elsewhere142242
-Node: Legalisms144662
-Node: References146833
-Node: Index151218
+Node: Introduction4048
+Node: Installation7225
+Node: configure options9389
+Node: Compile-time options11471
+Node: Additional targets12597
+Node: Triptrap13878
+Node: Runtime options15407
+Node: Commonalities17179
+Node: Option conventions17784
+Node: Common options19008
+Node: Path searching23520
+Node: Output file location24542
+Node: Three programs25582
+Node: Initial and virgin26341
+Node: Memory dumps27441
+Node: Creating memory dumps27908
+Node: Determining the memory dump to use29169
+Node: Hardware and memory dumps30793
+Node: Editor invocation33262
+Node: \input filenames33992
+Node: TeX36985
+Node: tex invocation38075
+Node: Initial TeX46007
+Node: Formats47496
+Node: Languages and hyphenation50435
+Node: MLTeX50863
+Node: \charsubdef52358
+Node: \tracingcharsubdef54684
+Node: TCX files55259
+Node: patgen invocation60683
+Node: IPC and TeX61400
+Node: TeX extensions62001
+Node: Metafont63302
+Node: mf invocation64590
+Node: Initial Metafont68473
+Node: Modes70226
+Node: Online Metafont graphics72481
+Node: gftodvi invocation75754
+Node: mft invocation78576
+Node: MetaPost82631
+Node: mpost invocation83652
+Node: Initial MetaPost88837
+Node: makempx invocation90648
+Node: dvitomp invocation94653
+Node: dmp invocation95424
+Node: mpto invocation99445
+Node: newer invocation100427
+Node: BibTeX101364
+Node: bibtex invocation101725
+Node: Basic BibTeX style files104050
+Node: WEB105392
+Node: tangle invocation106675
+Node: weave invocation108798
+Node: pooltype invocation110206
+Node: DVI utilities111336
+Node: dvicopy invocation112280
+Node: dvitype invocation113578
+Node: dvitype output example115933
+Node: Font utilities118984
+Node: Font file formats120164
+Node: gftopk invocation123463
+Node: pktogf invocation124667
+Node: pktype invocation125846
+Node: gftype invocation128681
+Node: tftopl invocation133197
+Node: pltotf invocation137831
+Node: vftovp invocation138896
+Node: vptovf invocation141180
+Node: Font utilities available elsewhere142234
+Node: Legalisms144642
+Node: References146813
+Node: Index151198
 
 End Tag Table
diff --git a/Build/source/texk/web2c/doc/web2c.texi b/Build/source/texk/web2c/doc/web2c.texi
index 2acfb857ae3..1136b8e43d8 100644
--- a/Build/source/texk/web2c/doc/web2c.texi
+++ b/Build/source/texk/web2c/doc/web2c.texi
@@ -11,8 +11,8 @@ The latest version is available from ftp://ftp.tug.org/tex/texinfo.tex.}
 \fi
 @end tex
 
-@set version 7.5.6
-@set month-year March 2008
+@set version 7.5.7
+@set month-year July 2008
 
 @c Define new indices for commands in auxiliary files, filenames, and options.
 @defcodeindex cm
diff --git a/Build/source/texk/web2c/stamp-aclocal b/Build/source/texk/web2c/stamp-aclocal
index 46f85410135..d40734de41a 100644
--- a/Build/source/texk/web2c/stamp-aclocal
+++ b/Build/source/texk/web2c/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:56 CEST 2008
+Tue Jul  8 19:32:53 CEST 2008
diff --git a/Build/source/texk/web2c/stamp-auto.in b/Build/source/texk/web2c/stamp-auto.in
index 64288b4dd8e..9d356a75b8b 100644
--- a/Build/source/texk/web2c/stamp-auto.in
+++ b/Build/source/texk/web2c/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:58 CEST 2008
+Tue Jul  8 19:32:55 CEST 2008
diff --git a/Build/source/texk/web2c/stamp-configure b/Build/source/texk/web2c/stamp-configure
index 64288b4dd8e..5669894f57a 100644
--- a/Build/source/texk/web2c/stamp-configure
+++ b/Build/source/texk/web2c/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:58 CEST 2008
+Tue Jul  8 19:32:56 CEST 2008
diff --git a/Build/source/texk/xdv2pdf/stamp-aclocal b/Build/source/texk/xdv2pdf/stamp-aclocal
index 745b33d5b35..1b8ce010556 100644
--- a/Build/source/texk/xdv2pdf/stamp-aclocal
+++ b/Build/source/texk/xdv2pdf/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:41:01 CEST 2008
+Tue Jul  8 19:32:57 CEST 2008
diff --git a/Build/source/texk/xdv2pdf/stamp-auto.in b/Build/source/texk/xdv2pdf/stamp-auto.in
index 745b33d5b35..0cfa19dfe58 100644
--- a/Build/source/texk/xdv2pdf/stamp-auto.in
+++ b/Build/source/texk/xdv2pdf/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:41:01 CEST 2008
+Tue Jul  8 19:32:58 CEST 2008
diff --git a/Build/source/texk/xdv2pdf/stamp-configure b/Build/source/texk/xdv2pdf/stamp-configure
index 745b33d5b35..0cfa19dfe58 100644
--- a/Build/source/texk/xdv2pdf/stamp-configure
+++ b/Build/source/texk/xdv2pdf/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:41:01 CEST 2008
+Tue Jul  8 19:32:58 CEST 2008
diff --git a/Build/source/texk/xdvik/stamp-aclocal b/Build/source/texk/xdvik/stamp-aclocal
index 27a0573d18a..c329621f6da 100644
--- a/Build/source/texk/xdvik/stamp-aclocal
+++ b/Build/source/texk/xdvik/stamp-aclocal
@@ -1 +1 @@
-Sun Jul  6 02:40:18 CEST 2008
+Tue Jul  8 19:32:29 CEST 2008
diff --git a/Build/source/texk/xdvik/stamp-auto.in b/Build/source/texk/xdvik/stamp-auto.in
index a9a44037193..517283579ea 100644
--- a/Build/source/texk/xdvik/stamp-auto.in
+++ b/Build/source/texk/xdvik/stamp-auto.in
@@ -1 +1 @@
-Sun Jul  6 02:40:21 CEST 2008
+Tue Jul  8 19:32:30 CEST 2008
diff --git a/Build/source/texk/xdvik/stamp-configure b/Build/source/texk/xdvik/stamp-configure
index a9a44037193..517283579ea 100644
--- a/Build/source/texk/xdvik/stamp-configure
+++ b/Build/source/texk/xdvik/stamp-configure
@@ -1 +1 @@
-Sun Jul  6 02:40:21 CEST 2008
+Tue Jul  8 19:32:30 CEST 2008