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 | ae4cf894d68ffef0c1890bbaca08510d3f5120db (patch) | |
tree | b40bda48bf16d43a3b4ad3639de98562632fa23c /doc | |
parent | 3c3d83d5584da288a2abd22a60ccd3f749a4c4f2 (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. |