summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-11 13:42:54 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-11 13:42:54 -0500
commitb30701c28e5a4072bc7efecc739fef12d509abc0 (patch)
tree0819f8da13c6f066806e8c69132013dbf29a795c /doc
parent6579a7ec814539ea627f69e89a114ecd92f83699 (diff)
Comments in .urp files
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 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.