10.6. Mise à jour des manuels

Comme l'aide en ligne est utilisée par défaut, il n'est pas nécessaire de mettre à jour le manuel après les mises à jour du logiciel. Voir aussi ???.