Re: texinfo question