make doc

[dbaelde]

La cible make doc ne génère que la doc relative au plugin OCaml. Pourquoi ne pas traiter tous les fichiers source?

[dbaelde]

Ma réponse à une question de @severus21 par email... github est le bon endroit pour poursuivre cette discussion.

Je n'avais pas vu le "make doc" à la racine. J'ai dû être perturbé par des problèmes de compilation qui me sont imputables, et j'ai aussi certainement été trop vite.

Cela dit, la séparation des deux documentations me semble désavantageuse, cf. par exemple l'absence de liens vers la doc de Core, puisque celle-ci est ailleurs. La raison des docs séparées est que le
système de build était trop contraignant?

[severus21]

Il faudrait refaire un système de build specifique pour la doc, et de plus cela signifie qu'il faut maintenir le ide.odocl à jour lorsque qu'on ajoute, modifie les modules.