diff options
Diffstat (limited to 'manual')
-rw-r--r-- | manual/src/cmds/unified-options.etex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/manual/src/cmds/unified-options.etex b/manual/src/cmds/unified-options.etex index 7351c8dd0c..85a5ad5430 100644 --- a/manual/src/cmds/unified-options.etex +++ b/manual/src/cmds/unified-options.etex @@ -260,6 +260,11 @@ section~\ref{s:ocamlrun-options}). }%notop \notop{% +\item["-no-g"] +Do not record debugging information (default). +}%notop + +\notop{% \item["-i"] Cause the compiler to print all defined names (with their inferred types or their definitions) when compiling an implementation (".ml" |