How to build info from .texi???