Hi Sandra,

> Whoops, I totally missed that you'd posted the previous version of this
> patch before I got around to pushing the revised docs patch I'd already had
> in my pile.  :-(

no worries at all.

> If GCC is going to ignore this option, it would be consistent with what
> I've done elsewhere for options with the "Ignore" property to remove the
> documentation entirely.  We have so many options and the manual is so long
> that I don't see much point in giving long-winded explanations of what
> options used to do, if they no longer do anything useful any more in the
> present version of GCC.  If you think this is a compatibility issue that
> might trip up users, a release note seems like a better place to document
> the changed behavior; text in the manual is just going to get more and more

Good point: I was going to add a caveat to the GCC 16 changes.html
anyway.

> bit-rotten and irrelevant over time.  (E.g., in my last batch of patches I
> removed some long-obsolete text about what used to happen for some x86
> option pre GCC 4.4.)

Fine: I'll just remove the section before committing.  Glad I've asked :-)

Thanks.
        Rainer

-- 
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University

Reply via email to