comparison doc/manual.tex @ 1151:de48dc2c9ee8

Allow .urp files without initial blank lines
author Adam Chlipala <adamc@hcoop.net>
date Sat, 06 Feb 2010 15:34:41 -0500
parents a9ba22d551f0
children 277a5db17aa1
comparison
equal deleted inserted replaced
1150:151837581b5e 1151:de48dc2c9ee8
126 \begin{verbatim} 126 \begin{verbatim}
127 createdb test 127 createdb test
128 psql -f crud1.sql test 128 psql -f crud1.sql test
129 \end{verbatim} 129 \end{verbatim}
130 130
131 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. 131 A blank line separates the named directives from a list of modules to include in the project.
132 132
133 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. 133 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.
134 134
135 Here is the complete list of directive forms. ``FFI'' stands for ``foreign function interface,'' Ur's facility for interaction between Ur programs and C and JavaScript libraries. 135 Here is the complete list of directive forms. ``FFI'' stands for ``foreign function interface,'' Ur's facility for interaction between Ur programs and C and JavaScript libraries.
136 \begin{itemize} 136 \begin{itemize}