On Tue, Jun 01, 2021 at 06:18:57PM +0200, Augusto Stoffel wrote:
>
> Moreover, the above is not due to any fundamental issue, but rather to
> the very prosaic problem that Texinfo is missing a plain cross-reference
> markup.
I may be missing something, but it seems to me that @ref{} is more or
less the plain cross-reference markup command in Texinfo (in addition to
@url{}).
Info is a different issue, the cross-references are described formally in
https://www.gnu.org/software/texinfo/manual/texinfo/html_node/Info-Format-Cross-Reference.html
and indeed, there is no plain cross-reference.
--
Pat
