summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-03-10 13:13:15 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2012-03-10 13:13:15 -0500
commita3f658ceddb15015d6c2d9c384f943f42ffcca2d (patch)
tree9d7f60700d522118ec19d10351b2942df98bc7e7 /doc
parent46cfc6df38e2e44898e725a58a554e4c53be53a9 (diff)
New release
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index 10d49f7e..b833df4f 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -238,6 +238,8 @@ sqlite3 path/to/database/file <app.sql
\end{verbatim}
\end{itemize}
+\item \texttt{-dumpSource}: When compilation fails, output to stderr the complete source code of the last intermediate program before the compilation phase that signaled the error. (Warning: these outputs can be very long and aren't especially optimized for readability!)
+
\item \texttt{-limit class num}: Equivalent to the \texttt{limit} directive from \texttt{.urp} files
\item \texttt{-output FILENAME}: Set where the application executable is written.