[Bug target/115893] AVR documentation in x86_64 build

[dcb314 at hotmail dot com]

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

--- Comment #2 from David Binderman <dcb314 at hotmail dot com> ---
(In reply to Georg-Johann Lay from comment #1)
> So I think this is invalid as a GCC PR.  When you are annoyed by that
> warning, use a texinfo version with a fix.

It looks like you missed my point. Maybe I was unclear. If so, apologies.

Second try:

IMHO, an x86_64 build shouldn't be doing *anything* with any avr documentation.

Third try:

Suggest remove the call to texinfo. It shouldn't be needed.