From a0dd36d3721acc580461be8c968f6bdafc83827b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 19 Jan 2014 13:08:01 -0500
Subject: New compiler option: -stop

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

(limited to 'doc')

diff --git a/doc/manual.tex b/doc/manual.tex
index 0a088436..42ab7f70 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -341,6 +341,8 @@ fastcgi.server = (
 \item \texttt{-sql FILENAME}: Set where a database set-up SQL script is written.
 
 \item \texttt{-static}: Link the runtime system statically.  The default is to link against dynamic libraries.
+
+\item \texttt{-stop PHASE}: Stop compilation after the named phase, printing the intermediate program to stderr.  This flag is mainly useful for debugging the Ur/Web compiler itself.
 \end{itemize}
 
 There is an additional convenience method for invoking \texttt{urweb}.  If the main argument is \texttt{FOO}, and \texttt{FOO.ur} exists but \texttt{FOO.urp} doesn't, then the invocation is interpreted as if called on a \texttt{.urp} file containing \texttt{FOO} as its only main entry, with an additional \texttt{rewrite all FOO/*} directive.
-- 
cgit v1.2.3