summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_latex.ml
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2002-04-03 16:38:43 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2002-04-03 16:38:43 +0000
commit8fb485678a4b5c31dbe93c21cee8096021e2090f (patch)
tree2b311ca24e82ffc4b7b251672d824dc56168a40c /ocamldoc/odoc_latex.ml
parent991516ccda64412aa474f1a3e15923b5968f27d9 (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.ml1
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" ;
"@", "\"@" ;
"!", "\"!" ;
"|", "\"|" ;