<2012-12-08> Génération des manuels, ajout pointeurs vers appicon comme une favicone de la page d'aide. Génération des manuels HTML en un seul fichier et en plusieurs fichiers.
Authored by: vincentb1 2012-12-10
Parent: [r1670]
Child: [r1672]
