On Sat, Nov 23, 2024 at 01:12:11AM +0100, Denis 'GNUtoo' Carikli wrote:
> But if we follow the texinfo manual, as I understand it we're supposed
> to do that instead:
> > In some cases GNU Boot even runs nonfree software not provided by GNU
> > Boot like nonfree GPUs drivers provided by the removable GPU card.
> > @xref{Supported computer parts and peripherals} for more details
> > about this issue and how to avoid running such nonfree software.
>
> Then this requires contributors to lookup what xref is just to
> contribute some small modification to the manual.
There is absolutely no problem with using @ref here instead of
@xref. The Info format output will be slightly different and
read "See *note Supported computer parts and peripherals::" instead
of "*Note Supported computer parts and peripherals::".
