Re: makeinfo 1.6.8?