diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2009-08-21 08:39:33 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2009-08-21 08:39:33 +0000 |
| commit | 09213b3c2898c99401453a1d03a78989786708b7 (patch) | |
| tree | 0dd206f9f01d4657c8efbd35e21aa91b9b4187a4 /ocamldoc/odoc_man.ml | |
| parent | 91b60f2bba3e3973f8fc75d5ef9667a0c19b652a (diff) | |
| download | ocaml-09213b3c2898c99401453a1d03a78989786708b7.tar.gz | |
jo311merged
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/jocamltrunk@9322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_man.ml')
| -rw-r--r-- | ocamldoc/odoc_man.ml | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/ocamldoc/odoc_man.ml b/ocamldoc/odoc_man.ml index dcfbfed2db..bc914c6e0f 100644 --- a/ocamldoc/odoc_man.ml +++ b/ocamldoc/odoc_man.ml @@ -201,10 +201,12 @@ class man = let len = String.length s in let b = Buffer.create len in for i = 0 to len - 1 do - match s.[i] with - '\\' -> Buffer.add_string b "\\(rs" - | '.' -> Buffer.add_string b "\\&." - | c -> Buffer.add_char b c + match s.[i] with + '\\' -> Buffer.add_string b "\\(rs" + | '.' -> Buffer.add_string b "\\&." + | '\'' -> Buffer.add_string b "\\&'" + | '-' -> Buffer.add_string b "\\-" + | c -> Buffer.add_char b c done; Buffer.contents b @@ -630,15 +632,15 @@ class man = (** Print groff string for a module comment.*) method man_of_module_comment b text = - bs b "\n.pp\n"; + bs b "\n.PP\n"; self#man_of_text b [Code ("=== "^(Odoc_misc.string_of_text text)^" ===")]; - bs b "\n.pp\n" + bs b "\n.PP\n" (** Print groff string for a class comment.*) method man_of_class_comment b text = - bs b "\n.pp\n"; + bs b "\n.PP\n"; self#man_of_text b [Code ("=== "^(Odoc_misc.string_of_text text)^" ===")]; - bs b "\n.pp\n" + bs b "\n.PP\n" (** Print groff string for an included module. *) method man_of_included_module b m_name im = |