diff doc/manual.tex @ 1995:057b08253a75

-explainEmbed
author Adam Chlipala <adam@chlipala.net>
date Mon, 17 Mar 2014 16:52:10 -0400
parents b15a4c2cb542
children 582ea3a4d622
line wrap: on
line diff
--- a/doc/manual.tex	Fri Mar 07 11:50:45 2014 -0500
+++ b/doc/manual.tex	Mon Mar 17 16:52:10 2014 -0400
@@ -266,6 +266,8 @@
 
 \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.