Mercurial > urweb
diff doc/manual.tex @ 1151:de48dc2c9ee8
Allow .urp files without initial blank lines
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 06 Feb 2010 15:34:41 -0500 |
parents | a9ba22d551f0 |
children | 277a5db17aa1 |
line wrap: on
line diff
--- a/doc/manual.tex Sat Feb 06 13:53:26 2010 -0500 +++ b/doc/manual.tex Sat Feb 06 15:34:41 2010 -0500 @@ -128,7 +128,7 @@ psql -f crud1.sql test \end{verbatim} -A blank line always separates the named directives from a list of modules to include in the project; if there are no named directives, a blank line must begin the file. +A blank line separates the named directives from a list of modules to include in the project. For each entry \texttt{M} in the module list, the file \texttt{M.urs} is included in the project if it exists, and the file \texttt{M.ur} must exist and is always included.