Re: Cross-references without a web location

On Mon, Sep 20, 2021 at 10:01:42AM +0200, Patrice Dumas wrote:
> > It would be nice to instead print something closer to what @inforef
> > would print, but with the manual title as well.
> 
> In HTML @inforef is the same as @xref, with the third argument of
> @inforef used as the fourth argument of @xref.  Are you referring to
> that formatting of @inforef in HTML, or to some other possibility?
> 
> Can you please tell more precisely what you would envision as
> * the text of the link
> * the url of the link for the href= attribute

It would be possible to output something like "see Foo manual" without
any <a> link at all, like @inforef outputs something like "see Info manual
Foo".  This would avoid the broken links like Sarah said.