diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-02-06 15:34:41 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-02-06 15:34:41 -0500 |
| commit | b9b7875c2c8cb914517d3c3aaad80caff8d610fc (patch) | |
| tree | 030689d7f60d1b5a580b8c638f1c297899b068d7 /doc/manual.tex | |
| parent | f6b8b7371d649cdb8ac35048ea5e57a2a3ebf55d (diff) | |
Allow .urp files without initial blank lines
Diffstat (limited to 'doc/manual.tex')
| -rw-r--r-- | doc/manual.tex | 2 |
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. |