From 27f9106fd147db16bc1562360d0d483ba31022a3 Mon Sep 17 00:00:00 2001
From: Justin Lebar <justin.lebar@gmail.com>
Date: Sat, 26 May 2012 12:17:28 -0400
Subject: [PATCH] Improve documentation for include_file_mtime

---
 MANUAL.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 4b0cfb22a..4be33aedc 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -425,7 +425,8 @@ WRAPPERS>>.
 *file_macro*::
     Ignore *\_\_FILE__* being present in the source.
 *include_file_mtime*::
-    Don't check the modification time of include files in the direct mode.
+    By default, ccache will not cache a file if it includes a header whose
+    mtime is too new.  This option disables that check.
 *time_macros*::
     Ignore *\_\_DATE\__* and *\_\_TIME__* being present in the source code.
 --
-- 
2.47.3