Intégrer la compilation de la documentation dans la configuration du projet
La documentation doit être compilée automatiquement avec le target doc
pour la commande make
: make doc
.
La documentation doit être compilée automatiquement avec le target doc
pour la commande make
: make doc
.