diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-11-14 14:41:32 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-11-14 14:41:32 +0000 |
| commit | 110a6fa6e8b3f7d5fcc4898dae53cb2658598d06 (patch) | |
| tree | aa75cc3b2e39aadf443b1425d5d74c1d95b86105 /ocamldoc/odoc_latex.ml | |
| parent | 76dfd059b8b03d2b6c6c11ad95d92a7da0968ba7 (diff) | |
gestion correcte du %
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5260 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 a74aef988..c58e2130e 100644 --- a/ocamldoc/odoc_latex.ml +++ b/ocamldoc/odoc_latex.ml @@ -123,6 +123,7 @@ class text = match name.[i] with '_' -> if no_ then () else Buffer.add_char buf '_' | '~' -> if no_ then () else Buffer.add_char buf '~' + | '%' -> Buffer.add_string buf (if no_ then "percent" else "%") | '@' -> Buffer.add_string buf "\"@" | '!' -> Buffer.add_string buf "\"!" | '|' -> Buffer.add_string buf "\"|" |