K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2003-05-08T11:32:06.000000Z
K 7
svn:log
V 175
I now made .bz2 sources available on gcc.gnu.org, so again use these instead
of .gz sources.  Remove a makeinfo related hack for CONFIGURE_ENV which is
not needed any longer.

END