Bug#260035: fixed in cvs

[Rafael Ávila de Espíndola <rafael.espindola@ic.unicamp.br>]

http://savannah.gnu.org/cgi-bin/viewcvs/gcc/gcc/gcc/doc/sourcebuild.texi.diff?r1=1.36.2.8&r2=1.36.2.9&diff_format=u

Rafael