Mike Stump wrote: > On Jul 21, 2006, at 9:58 AM, Jason Merrill wrote: >> OK, but please document this in invoke.texi. > > Hum... So many possibilities... How about the below? Sure. I'd move the added text to its own paragraph at the end of the description and drop the "Note however that". Jason