summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-03-17 16:52:10 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2014-03-17 16:52:10 -0400
commitd6a66b55f7f24bfbf144d00bce0a10b65930fb20 (patch)
treeb40bda48bf16d43a3b4ad3639de98562632fa23c /doc
parent2e3db71b6717f477ac24c4baa4fba1885cc55dad (diff)
-explainEmbed
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 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.