> >Did this ever work, and if so, which version of texinfo.tex and > >texi2dvi?
Forget this - sorry for the noise - this was introduced recently by Debian packaging. Can be closed on the texinfo side. Norbert ------------------------------------------------------------------------ PREINING, Norbert http://www.preining.info JAIST, Japan TeX Live & Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13 ------------------------------------------------------------------------