http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50900 --- Comment #9 from karl at freefriends dot org 2011-10-28 22:53:26 UTC --- I was completely specific. I am talking about fixing copying-lib.texi. I gave a url to the current canonical version for that document.