Mercurial > urweb
comparison doc/manual.tex @ 1530:09c56e03beaf
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} |