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.
