diff options
Diffstat (limited to 'man/ocamldebug.m')
| -rw-r--r-- | man/ocamldebug.m | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/man/ocamldebug.m b/man/ocamldebug.m index a470150a6f..50354d93c5 100644 --- a/man/ocamldebug.m +++ b/man/ocamldebug.m @@ -58,6 +58,8 @@ command.) Tell the debugger it is executed under Emacs. (See .I "The OCaml user's manual" for information on how to run the debugger under Emacs.) +Implies +.BR \-machine-readable . .TP .BI \-I \ directory Add @@ -67,6 +69,13 @@ compiled files. (See also the .B directory command.) .TP +.BI -machine-readable +Print information in a format more suitable for machines instead of human +operators where applicable. For example, when describing a location in a +program, such as when printing a backtrace, print the program counter and +character offset in a file instead of the filename, line number, and character +offset in that line. +.TP .BI \-s \ socket Use .I socket |