diff options
author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-03 16:38:43 +0000 |
---|---|---|
committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-03 16:38:43 +0000 |
commit | 8fb485678a4b5c31dbe93c21cee8096021e2090f (patch) | |
tree | 2b311ca24e82ffc4b7b251672d824dc56168a40c /ocamldoc/odoc_latex.ml | |
parent | 991516ccda64412aa474f1a3e15923b5968f27d9 (diff) |
correction commentaires doc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4583 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_latex.ml')
-rw-r--r-- | ocamldoc/odoc_latex.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_latex.ml b/ocamldoc/odoc_latex.ml index 5bd6b51ba..4144f50e5 100644 --- a/ocamldoc/odoc_latex.ml +++ b/ocamldoc/odoc_latex.ml @@ -126,6 +126,7 @@ class text = List.fold_right (fun (s, s2) -> fun acc -> Str.global_replace (Str.regexp_string s) s2 acc) [ + "~", "X" ; "@", "\"@" ; "!", "\"!" ; "|", "\"|" ; |