Re: Error with makeinfo