Mercurial > urweb
diff doc/manual.tex @ 1693:27d68ccb2c9e
New release
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 10 Mar 2012 13:13:15 -0500 |
parents | 8c2e8d41a8f2 |
children | 3320eba6bad5 |
line wrap: on
line diff
--- a/doc/manual.tex Sat Mar 10 12:53:33 2012 -0500 +++ b/doc/manual.tex Sat Mar 10 13:13:15 2012 -0500 @@ -238,6 +238,8 @@ \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.