Mercurial > urweb

comparison doc/manual.tex @ 1530:09c56e03beaf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Manual: emphasize how great '-tc' is
author Adam Chlipala <adam@chlipala.net>
date Sun, 07 Aug 2011 13:47:15 -0400
parents 52fbd8534ef3
children 7efcf8f4a44a
comparison
equal deleted inserted replaced
1529:a8a538800278 1530:09c56e03beaf
195 195
196 To stop the compilation process after type-checking, run 196 To stop the compilation process after type-checking, run
197 \begin{verbatim} 197 \begin{verbatim}
198 urweb -tc P 198 urweb -tc P
199 \end{verbatim} 199 \end{verbatim}
200 It is often worthwhile to run \cd{urweb} in this mode, because later phases of compilation can take significantly longer than type-checking alone, and the type checker catches many errors that would traditionally be found through debugging a running application.
200 201
201 To output information relevant to CSS stylesheets (and not finish regular compilation), run 202 To output information relevant to CSS stylesheets (and not finish regular compilation), run
202 \begin{verbatim} 203 \begin{verbatim}
203 urweb -css P 204 urweb -css P
204 \end{verbatim} 205 \end{verbatim}