> In case this was not clear, I meant that in addition to the texinfo > correction, something else needs to be done in another package, > either in automake or in mpfr4, to that the right texinfo.tex file
automake is the culprit. Shipping and ancient, pre-historic texinfo.tex is simply wrong. Norbert -- PREINING Norbert http://www.preining.info Accelia Inc. + JAIST + TeX Live + Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
