diff 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
line wrap: on
line diff
--- a/doc/manual.tex	Sat Aug 06 13:07:50 2011 -0400
+++ b/doc/manual.tex	Sun Aug 07 13:47:15 2011 -0400
@@ -197,6 +197,7 @@
 \begin{verbatim}
 urweb -tc P
 \end{verbatim}
+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.
 
 To output information relevant to CSS stylesheets (and not finish regular compilation), run
 \begin{verbatim}