Re: texinfo port issue