[Bug middle-end/71666] profile-generate not documented

[vincenzo.innocente at cern dot ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71666

--- Comment #2 from vincenzo Innocente <vincenzo.innocente at cern dot ch> ---
ok so is just the sentence "" See Optimize Options" which needs to be
changed...