diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-02-10 16:15:24 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-02-10 16:15:24 +0000 |
| commit | e7f5b858c2aee1fc6caeefc3d7c80ca696be2897 (patch) | |
| tree | f6e4f76927ce2a4f604fcc0596f1b6505cc39fe3 /ocamlbuild/manual/manual.tex | |
| parent | d7cbf2a01a390f2fe6bedef1292bb5aa55d8b6f7 (diff) | |
More renaming to OCaml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamlbuild/manual/manual.tex')
| -rw-r--r-- | ocamlbuild/manual/manual.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamlbuild/manual/manual.tex b/ocamlbuild/manual/manual.tex index 01d671eb7..bccdd9a6f 100644 --- a/ocamlbuild/manual/manual.tex +++ b/ocamlbuild/manual/manual.tex @@ -620,7 +620,7 @@ library. Just write a file with the \texttt{mltop} extension (like \subsection{Preprocessor options and tags} You can specify preprocessor options with \texttt{-pp} followed by the preprocessor string, for instance \texttt{ocamlbuild -pp "camlp4o.opt -unsafe"} -would run your sources thru CamlP4 with the \texttt{-unsafe} option. +would run your sources through CamlP4 with the \texttt{-unsafe} option. Another way is to use the tags file. \begin{center} \begin{tabular}{|l|l|l|} |