onlinedocs: How to link to external HTML documents?

[Georg-Johann Lay]

Hi, in a recent change I added a pointer to some
Binutils documentation in doc/extend.texi:

see the GNU Binutils
@w{@uref{https://sourceware.org/binutils/docs/as/AVR_002dDependent.html,AVR 
assembler manual}}.

This worked well in my local build : 
gcc/HTML/gcc-8.0.0/gcc/AVR-Function-Attributes.html reads:

see the GNU Binutils
<a 
href="https://sourceware.org/binutils/docs/as/AVR_002dDependent.html">AVR assembler manual</a><!-- 
/@w -->.

However, the now online documentation has a broken link as it is overly 
smart with the _002d:

In

https://gcc.gnu.org/onlinedocs/gcc/AVR-Function-Attributes.html

there is:

see the GNU Binutils
<a 
href="https://sourceware.org/binutils/docs/as/AVR-Dependent.html">AVR assembler manual</a><!-- 
/@w -->.

which is a broken link.

How can I fix this?

Johann