A votre avis, quels sont les meilleurs outils multi plateforme, permettant de diffuser le résultat sous des format multiples. (rtf, html, pdf, odt ...) ?
On hésite actuellement entre Latex et Docbook, sans que nous trouvions la "killer feature" qui permettrait de les départager.
Quels sont vos retours d'expérience avec ces outils (ou d'autre).
Merci.
RTAI est un OS temps réel dur libre (GPL) qui fait tourner le noyau linux comme sa tâche de priorité la plus faible.
RTAI est un fork de RTLinux qui permet de s'affranchir des problèmes de licences liés à celui-ci.
L'originalité de ce projet est qu'il permet d'obtenir d'une machine un comportement temps réel dur (n'ayant rien à envier à ses concurrents propriétaires) tout en gardant le comportement temps partagé du noyau linux.
Note du modérateur : la version précédente datait du mars 2003
