Re: texinfo doesn't function