Mercurial > urweb
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.