[PATCH] Update --with-gnu-as doc entry

[Eric Botcazou]

> The @uref was deliberately added by jsm, and seems to be serving a
> useful purpose.  It makes a link show up in the online docs.

Sure, but then why are the many other references not wrapped up in a @uref 
too? This is somewhat weird, because you have only one link in the HTML file.

> It isn't the only one for an option, there is another one in the same file
> for --with-gnu-as, though it explicitly mentions the configure.html file
> whereas this one doesn't. 

I don't see it.

> If there is anything broken here, it would be the following --with-ld text
> that isn't using uref.

All other options are not using @uref.

> The rest of the patch looks OK.

Thanks!

-- 
Eric Botcazou