mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

> How can I add a tmdoc-tite hyperlink to the title of a document.
> 
> i.e in the file index.en.tm the title is Welcome..., then the line just 
> below has a brown hyperlink which leads to the German index, like this: 
> [German]
> 
> I'd like to add [English], so that the line will be: [German] [English]
> 
> I'm able to change [German] to [English] and the corresponding 
> hyperlinks with pico but I don't know the exact syntax to add two links 
> side by side with a space between them.
> 
> Something like, but there's something wrong in it:
> 
> <expand|tmdoc-title*|Bienvenue sur le site de documentation de GNU
>    <TeXmacs>|<inactive|><hlink|<with|color|brown|Allemand>|index.de.tm> 
> <hlink|<with|color|brown|Anglais>|index.en.tm>>
> 
> Or is there a way to do this within texmacs?

Don't bother about the top-level information; I will add it myself.