Re: [Bug-ed] Fwd: Bug#682724: ed: info link to bash manual

[Kevin Ryde]

Antonio Diaz Diaz <address@hidden> writes:
>
> like the links
> between ddrescue[1] and lziprecover[2] so that it also works in the
> html version[3],

With @ifhtml?  That's not supposed to be necessary, or at least you
wouldn't want to have to do it in every cross-reference between manuals.

Recent makeinfo is a little better about links between html renditions,
so you can format a collection of manuals and they cross-link to each
other successfully.  Depends on them being in more or less one place --
which is true for a local collection of files, and mostly true for
gnu.org.