From 4e0410306a4d4288dd36450dc8f9ea2e8bd0a154 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 7 Aug 2011 13:47:15 -0400
Subject: Manual: emphasize how great '-tc' is

---
 doc/manual.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc')

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}
-- 
cgit v1.2.3