Document new support for precompiled headers

diff --git a/MANUAL.txt b/MANUAL.txt
index e20c573fb6c132c7b74a99ee1bef823fd64dd5a3..15a63efe0b82fe8775f8821185460db9ba6ea1e2 100644 (file)
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -551,19 +551,24 @@ The drawbacks of using *CCACHE_BASEDIR* are:
 Precompiled headers
 -------------------
 
-ccache has support for GCC's precompiled headers. However, you currently have
-to do two things to make it work:
-
-* You must add the *-fpch-preprocess* option when compiling, as this option
-  makes it possible for ccache to correctly detect the header file in the
-  preprocessor output. If you don't do this, either the non-preprocessed
-  version of the header file will be used (if available) or ccache will fall
-  back to running the real compiler and increase the statistics counter
-  ``preprocessor error'' (if the non-preprocessed header file is not
-  available).
+ccache has support for GCC's precompiled headers. However, you have to do some
+things to make it work properly:
+
 * You must set *CCACHE_SLOPPINESS* to *time_macros*. The reason is that ccache
   can't tell whether *\_\_TIME\__* or *\_\_DATE__* is used when using a
   precompiled header.
+* You must either:
++
+--
+** use the *-include* compiler option to include the precompiled header
+    (i.e., not use *#include* in the source code); or
+** add the *-fpch-preprocess* compiler option when compiling.
+
+If you don't do this, either the non-precompiled version of the header file
+will be used (if available) or ccache will fall back to running the real
+compiler and increase the statistics counter ``preprocessor error'' (if the
+non-precompiled header file is not available).
+--
 
 
 Sharing a cache