From a3f658ceddb15015d6c2d9c384f943f42ffcca2d Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 10 Mar 2012 13:13:15 -0500
Subject: New release

---
 doc/manual.tex | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc')

diff --git a/doc/manual.tex b/doc/manual.tex
index 10d49f7e..b833df4f 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -238,6 +238,8 @@ sqlite3 path/to/database/file <app.sql
     \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.
-- 
cgit v1.2.3