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.