# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1271527030 14400
# Node ID b52929351402d5308c8d51daa17cc5e42049dff1
# Parent  6d8e3dcb9713a6bfab7425aa8f8d8bed57357efb
Forward reference to URI convention

diff -r 6d8e3dcb9713 -r b52929351402 doc/manual.tex
--- a/doc/manual.tex	Thu Apr 01 17:23:17 2010 -0400
+++ b/doc/manual.tex	Sat Apr 17 13:57:10 2010 -0400
@@ -166,7 +166,7 @@
 \begin{verbatim}
 urweb P
 \end{verbatim}
-The output executable is a standalone web server.  Run it with the command-line argument \texttt{-h} to see which options it takes.  If the project file lists a database, the web server will attempt to connect to that database on startup.
+The output executable is a standalone web server.  Run it with the command-line argument \texttt{-h} to see which options it takes.  If the project file lists a database, the web server will attempt to connect to that database on startup.  See Section \ref{structure} for an explanation of the URI mapping convention, which determines how each page of your application may be accessed via URLs.
 
 To time how long the different compiler phases run, without generating an executable, run
 \begin{verbatim}
@@ -2032,7 +2032,7 @@
 \end{array}$$
 
 
-\section{The Structure of Web Applications}
+\section{\label{structure}The Structure of Web Applications}
 
 A web application is built from a series of modules, with one module, the last one appearing in the \texttt{.urp} file, designated as the main module.  The signature of the main module determines the URL entry points to the application.  Such an entry point should have type $\mt{t1} \to \ldots \to \mt{tn} \to \mt{transaction} \; \mt{page}$, for any integer $n \geq 0$, where $\mt{page}$ is a type synonym for top-level HTML pages, defined in $\mt{Basis}$.  If such a function is at the top level of main module $M$, with $n = 0$, it will be accessible at URI \texttt{/M/f}, and so on for more deeply-nested functions, as described in Section \ref{tag} below.  Arguments to an entry-point function are deserialized from the part of the URI following \texttt{f}.