Re: [O] info URL « open at point » patch

[Eli Zaretskii]

> From: Vincent Belaïche <address@hidden>
> CC: "address@hidden" <address@hidden>, "address@hidden"
>       <address@hidden>
> Date: Sun, 24 Jun 2018 16:48:30 +0000
> 
> To my understanding @xref works only for info links (node names or anchors, 
> or qualified thereof where the
> qualificator is the info document name) --- maybe I am wrong, tell me if so 
> ---  but I want to refer to an HTML
> or PDF document.

No, Texinfo cross-references work in any format supported by Texinfo.
If your link should only appear in the HTML version, you could use the
@address@hidden ifhtml conditional, and similarly with links that should
only appear in PDF (i.e. printed version) of the manual.  There's also
@ifnotinfo etc.

So once again I don't think I understand the problem.  Could you
perhaps elaborate, or show an actual example?