Is it reproducible? Yes. I tried several times yesterday, and again just now and got the same failure -- around Fri Jun 22 17:54:24 EDT 2007 (savannah time).
I have submitted bugs in the texinfo project in the past, but this is the first one in about a year. Thanks, Karl
