On Monday, June 6, 2005, at 06:03 AM, Bruno Haible wrote: > Joseph S. Myers wrote: >> If the required version of any tool is changed then the documentation >> of >> that version in install.texi needs to be updated accordingly. > > Here is an updated patch. Looks reasonable to me. Would be good to hear that someone regression tested it.