Re: How to build info from .texi???