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 2.45 KB | None | 0 0
  1. commit 2e4b77436d3422f62fd1cd169974c3a5fb197429
  2. Author: Stephane Glondu <steph@glondu.net>
  3. Date: Mon Oct 27 17:56:57 2008 +0100
  4.  
  5. Minor fixes in manpages
  6.  
  7. diff --git a/man/ocamlc.m b/man/ocamlc.m
  8. index 0ce1e8d..b1fb8bf 100644
  9. --- a/man/ocamlc.m
  10. +++ b/man/ocamlc.m
  11. @@ -421,8 +421,8 @@ as a preprocessor for each source file. The output of
  12. is redirected to
  13. an intermediate file, which is compiled. If there are no compilation
  14. errors, the intermediate file is deleted afterwards. The name of this
  15. -file is built from the basename of the source file with the extension
  16. -.ppi for an interface (.mli) file and .ppo for an implementation
  17. +file is built from the basename of the source file with the extension .ppi
  18. +for an interface (.mli) file and .ppo for an implementation
  19. (.ml) file.
  20. .TP
  21. .B \-principal
  22. @@ -561,7 +561,7 @@ into errors. The compiler will stop with an error when one of these
  23. warnings is emitted. The
  24. .I warning\-list
  25. has the same meaning as for
  26. -the "-w" option: an uppercase character turns the corresponding
  27. +the "\-w" option: an uppercase character turns the corresponding
  28. warning into an error, a lowercase character leaves it as a warning.
  29. The default setting is
  30. .B \-warn\-error\ a
  31. diff --git a/man/ocamlopt.m b/man/ocamlopt.m
  32. index 3872bd8..2a44836 100644
  33. --- a/man/ocamlopt.m
  34. +++ b/man/ocamlopt.m
  35. @@ -222,7 +222,7 @@ and edit that file to remove all declarations of unexported names.
  36. Add the given directory to the list of directories searched for
  37. compiled interface files (.cmi) and compiled object code files
  38. (.cmo). By default, the current directory is searched first, then the
  39. -standard library directory. Directories added with -I are searched
  40. +standard library directory. Directories added with \-I are searched
  41. after the current directory, in the order in which they were given on
  42. the command line, but before the standard library directory.
  43.  
  44. @@ -536,7 +536,7 @@ into errors. The compiler will stop with an error when one of these
  45. warnings is emitted. The
  46. .I warning\-list
  47. has the same meaning as for
  48. -the "-w" option: an uppercase character turns the corresponding
  49. +the "\-w" option: an uppercase character turns the corresponding
  50. warning into an error, a lowercase character leaves it as a warning.
  51. The default setting is
  52. .B \-warn\-error\ a
  53. @@ -577,7 +577,7 @@ trigonometric operations
  54. .BR cos ,
  55. .BR sin ,
  56. .B tan
  57. -have their range reduced to [-2^64, 2^64].
  58. +have their range reduced to [\-2^64, 2^64].
  59.  
  60. .SH OPTIONS FOR THE AMD64 ARCHITECTURE
Add Comment
Please, Sign In to add comment