Commit 8e33a51c authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Document --suggest-ocamlfind.

parent e855be74
...@@ -132,6 +132,7 @@ ...@@ -132,6 +132,7 @@
\newcommand{\osuggestlinkb}{\texttt{-{}-suggest-link-flags-byte}\xspace} \newcommand{\osuggestlinkb}{\texttt{-{}-suggest-link-flags-byte}\xspace}
\newcommand{\osuggestlinko}{\texttt{-{}-suggest-link-flags-opt}\xspace} \newcommand{\osuggestlinko}{\texttt{-{}-suggest-link-flags-opt}\xspace}
\newcommand{\osuggestmenhirlib}{\texttt{-{}-suggest-menhirLib}\xspace} \newcommand{\osuggestmenhirlib}{\texttt{-{}-suggest-menhirLib}\xspace}
\newcommand{\osuggestocamlfind}{\texttt{-{}-suggest-ocamlfind}\xspace}
\newcommand{\otable}{\texttt{-{}-table}\xspace} \newcommand{\otable}{\texttt{-{}-table}\xspace}
\newcommand{\otimings}{\texttt{-{}-timings}\xspace} \newcommand{\otimings}{\texttt{-{}-timings}\xspace}
\newcommand{\otrace}{\texttt{-{}-trace}\xspace} \newcommand{\otrace}{\texttt{-{}-trace}\xspace}
......
...@@ -318,6 +318,10 @@ absolute path of) the directory where \menhirlib was installed. If \menhirlib ...@@ -318,6 +318,10 @@ absolute path of) the directory where \menhirlib was installed. If \menhirlib
was installed via \ocamlfind, this is equivalent to calling \texttt{ocamlfind was installed via \ocamlfind, this is equivalent to calling \texttt{ocamlfind
query menhirLib}. query menhirLib}.
\docswitch{\osuggestocamlfind} This switch causes \menhir to print a Boolean
value (i.e., either \texttt{true} or \texttt{false}), which indicates whether
\menhirlib was installed via \ocamlfind.
\docswitch{\ostdlib \nt{directory}} This switch controls the directory \docswitch{\ostdlib \nt{directory}} This switch controls the directory
where the standard library is found. It allows overriding the default where the standard library is found. It allows overriding the default
directory that is set at installation time. The trailing \texttt{/} character directory that is set at installation time. The trailing \texttt{/} character
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment