Manual: emphasize how great '-tc' is

1 files changed, 1 insertions, 0 deletions

diff --git a/doc/manual.tex b/doc/manual.tex
index 53e1eb8c..a139310c 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -197,6 +197,7 @@ To stop the compilation process after type-checking, run
 \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}