Maxence Guesdon
|
a12edec956
|
ajout options pour odoc_texi, par olivier andrieu
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-02-21 13:49:35 +00:00 |
Maxence Guesdon
|
307628e786
|
pas d'option -g en native mode + ajout du module Args dans Odoc_info et utilisation de ce module au lieu de Odoc_args dans les générateurs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5098 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-08-13 14:09:26 +00:00 |
Damien Doligez
|
37bf95c248
|
detabisation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-07-23 14:12:03 +00:00 |
Maxence Guesdon
|
e79cdad33f
|
ajout option -latex-*-prefix
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4986 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-07-09 09:38:36 +00:00 |
Maxence Guesdon
|
c1604081e7
|
ajout option -man-mini pour ne générer que les pages man des module et classes, et génération des pages OCaml avec un tittre
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4721 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-23 11:35:15 +00:00 |
Maxence Guesdon
|
f758d5f971
|
ajout option man-suffix
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4707 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-22 09:40:29 +00:00 |
Maxence Guesdon
|
566b0fd5a8
|
ajout option -o et suppression de l'option -dot-file
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4607 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-08 09:47:13 +00:00 |
Maxence Guesdon
|
840aab2c5c
|
retrait du génrateur iso
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-05 13:31:12 +00:00 |
Maxence Guesdon
|
c89e049a4b
|
ajout module Odoc_texi
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4598 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-05 11:25:22 +00:00 |
Maxence Guesdon
|
7a5ea24427
|
ajout ocamldoc, pas encore compile automatiquement
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4566 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-03-27 16:20:32 +00:00 |