diff doc/manual.tex @ 1331:a6427d1eda6f

Comments in .urp files
author Adam Chlipala <adam@chlipala.net>
date Sat, 11 Dec 2010 13:42:54 -0500
parents 9be9da2df74b
children 4dd5d23bace2
line wrap: on
line diff
--- a/doc/manual.tex	Sun Dec 05 18:47:54 2010 +0100
+++ b/doc/manual.tex	Sat Dec 11 13:42:54 2010 -0500
@@ -128,7 +128,7 @@
 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.