You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We are always very grateful for any contribution to the system and
especially the docs. I've added a few notes in the doc based on your
story (as found in my mailbox when I came back from vacation), but I
Est-ce que le source de la doc est disponible en CVS ? (je n'ai rien
trouve). Sinon, en quoi il faut soumettre les propositions ?
The text was updated successfully, but these errors were encountered:
Est-ce que le source de la doc est disponible en CVS ? (je n'ai rien
trouve). Sinon, en quoi il faut soumettre les propositions ?
Bonne question! La doc est essentiellement en LaTeX, avec les docs
des modules de bibliothèques extraits automatiquement des interfaces
.mli de ces modules. Les versions HTML, Info et texte sont produites
par Hevea.
Le source LaTeX n'est pas très clean (par exemple, je viens de voir
qu'un de mes coauteurs a ajouté une macro @Zyva dont je n'ai aucune
idée de l'usage...), et c'est pour cela qu'il n'est pas publiquement
accessible. Mais cela peut changer si nous avons des contributions
extérieures.
Original bug ID: 84
Reporter: administrator
Status: closed
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: David Mentre
Version: -
OS: -
Submission from: oto.inria.fr (192.93.2.2)
Submitted by: doligez
Damien Doligez Damien.Doligez@inria.fr writes:
Est-ce que le source de la doc est disponible en CVS ? (je n'ai rien
trouve). Sinon, en quoi il faut soumettre les propositions ?
The text was updated successfully, but these errors were encountered: