Re: gcc42 info manual