# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1228841837 18000
# Node ID 0d3db8d6a586fe978c52cb90959a316d506e740c
# Parent  5703a2ad522181243bdf47899da0f06718bea919
Building an application

diff -r 5703a2ad5221 -r 0d3db8d6a586 doc/manual.tex
--- a/doc/manual.tex	Tue Dec 09 11:52:56 2008 -0500
+++ b/doc/manual.tex	Tue Dec 09 11:57:17 2008 -0500
@@ -128,6 +128,18 @@
 
 A few other named directives are supported.  \texttt{prefix PREFIX} sets the prefix included before every URI within the generated application; the default is \texttt{/}.  \texttt{exe FILENAME} sets the filename to which to write the output executable; the default for file \texttt{P.urp} is \texttt{P.exe}.  \texttt{debug} saves some intermediate C files, which is mostly useful to help in debugging the compiler itself.  \texttt{profile} generates an executable that may be used with gprof.
 
+\subsection{Building an Application}
+
+To compile project \texttt{P.urp}, simply run
+\begin{verbatim}
+urweb P
+\end{verbatim}
+
+To time how long the different compiler phases run, without generating an executable, run
+\begin{verbatim}
+urweb -timing P
+\end{verbatim}
+
 
 \section{Ur Syntax}