On Tue, 20 Mar 2018, Sandra Loosemore wrote: > In general, I don't think the current GCC manual should document > features that are no longer present in current GCC. I've previously > done a bunch of cleanups to other parts of the manual removing such bits > for features that were documented as having gone away 10-20 years ago. > :-P > So I think it is better to remove the documentation at the same time > you remove the features, and mention the removal of the obsolete feature > in the release notes instead of in the manual proper.
I was going to suggest that for things we believe may be in more widely spread active use, keeping a brief note in the docs, but looking at things from a decade ago, those surely do not qualify for that. :-) Gerald