[Texmacs-dev] Note for translators of the documentation

[Joris van der Hoeven]

Don't forget that the *menus are automatically translated*
if you set the right document language for your text.
You should *never* translate menus by hand;
automatic translation ensures that the translations are exactly
the same as the ones which the user sees in the interface.


-----------------------------------------------------------
Joris van der Hoeven <address@hidden>
http://www.texmacs.org: GNU TeXmacs scientific text editor
http://www.math.u-psud.fr/~vdhoeven: personal homepage
-----------------------------------------------------------