diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-03-17 16:52:10 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-03-17 16:52:10 -0400 |
| commit | d6a66b55f7f24bfbf144d00bce0a10b65930fb20 (patch) | |
| tree | b40bda48bf16d43a3b4ad3639de98562632fa23c /doc | |
| parent | 2e3db71b6717f477ac24c4baa4fba1885cc55dad (diff) | |
-explainEmbed
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index 457df39b..144c2017 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -266,6 +266,8 @@ sqlite3 path/to/database/file <app.sql \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{-explainEmbed}: Trigger more verbose error messages about inability to embed server-side values in client-side code. + \item \texttt{-limit class num}: Equivalent to the \texttt{limit} directive from \texttt{.urp} files \item \texttt{-moduleOf FILENAME}: Prints the Ur/Web module name corresponding to source file \texttt{FILENAME}, exiting immediately afterward. |