Could we please update from makeinfo 4.6 to makeinfo 4.7? According to Volker, this would fix http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15263 Gerald -- Gerald Pfeifer (Jerry) gerald@pfeifer.com http://www.pfeifer.com/gerald/