diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-12-11 13:42:54 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-12-11 13:42:54 -0500 |
commit | 019d9a9c56bab7876983b78613e621d884ec20ae (patch) | |
tree | 0819f8da13c6f066806e8c69132013dbf29a795c /doc | |
parent | c1d0d8f52b4896bc34d9eb8937c55d5aa3458751 (diff) |
Comments in .urp files
Diffstat (limited to 'doc')
-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 44fe8bdc..2cbfefb3 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 separates the named directives from a list of modules to include in the project. +A blank line separates the named directives from a list of modules to include in the project. Any line may contain a shell-script-style comment, where any suffix of a line starting at a hash character \texttt{\#} is ignored. 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. |