[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Identifying links to other Texinfo manuals in HTML
From: |
Gavin Smith |
Subject: |
Re: Identifying links to other Texinfo manuals in HTML |
Date: |
Mon, 19 Oct 2020 12:37:04 +0100 |
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Sun, Oct 18, 2020 at 11:57:29PM +0200, Patrice Dumas wrote:
> On Sun, Oct 18, 2020 at 10:48:14PM +0100, Gavin Smith wrote:
> > Does anybody have a good idea how links to other Texinfo
> > manuals could be marked in the HTML output? At present
>
> I would suggest not using rel, I think that rel should only be used when
> there is an obvious interpretation for it in the standard. But even in
> that case, the meaning are often subjective. And between HTML standard
> iterations rel could change.
>
> I would suggest instead using the class attribute. That way it could
> also be used to have different css style defined by a use for links to
> manuals. It would even be possible to have a different class for
> internal and external links.
Thanks Patrice and Per for the suggestions. I used class="texi-manual"
for now for external links (not "external" or "other-manual" in case
it somehow ended up in a link to the same manual). Other info could
be added in the future if there was ever a use for it (such as whether
the target manual was split or non-split).