summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-02-06 15:34:41 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-02-06 15:34:41 -0500
commita978113ec89492e3c612e2409b8dfd0f3c9682cb (patch)
tree030689d7f60d1b5a580b8c638f1c297899b068d7 /doc
parent0771f5711f1bfcd0b958049957f91289622e5f85 (diff)
Allow .urp files without initial blank lines
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index b15d4b6b..c5cfc52f 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -128,7 +128,7 @@ createdb test
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.