do not depend on makeinfo, not building .info