Guest User

Untitled

a guest
Feb 16th, 2019
98
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.58 KB | None | 0 0
  1. commit 0d43c356ec26d9cdd20629f32345371879f2378f
  2. Author: Stephane Glondu <steph@glondu.net>
  3. Date: Mon Oct 27 18:35:14 2008 +0100
  4.  
  5. Single quotes have special meaning in troff
  6.  
  7. diff --git a/ocamldoc/odoc_man.ml b/ocamldoc/odoc_man.ml
  8. index a550118..55df21f 100644
  9. --- a/ocamldoc/odoc_man.ml
  10. +++ b/ocamldoc/odoc_man.ml
  11. @@ -204,6 +204,7 @@ class man =
  12. match s.[i] with
  13. '\\' -> Buffer.add_string b "\\(rs"
  14. | '.' -> Buffer.add_string b "\\&."
  15. + | '\'' -> Buffer.add_string b "\\&'"
  16. | c -> Buffer.add_char b c
  17. done;
  18. Buffer.contents b
Add Comment
Please, Sign In to add comment