From bfc03064f42795a005405136fe7a1847d4c26cf2 Mon Sep 17 00:00:00 2001
From: Joel Rosdahl <joel@rosdahl.net>
Date: Fri, 11 Nov 2022 20:53:09 +0100
Subject: doc: Improve description of header file handling after 24cfb7998c27

---
 doc/MANUAL.adoc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/MANUAL.adoc b/doc/MANUAL.adoc
index 39f2adc9..31651f50 100644
--- a/doc/MANUAL.adoc
+++ b/doc/MANUAL.adoc
@@ -1591,8 +1591,8 @@ The depend mode will be disabled if any of the following holds:
 == Handling of newly created header files
 
 If modification time (mtime) or status change time (ctime) of one of the include
-files is the same second as the time compilation is being done, ccache disables
-the direct mode (or, in the case of a <<Precompiled headers,precompiled
+files is equal to (or newer than) the time compilation is being done, ccache
+disables the direct mode (or, in the case of a <<Precompiled headers,precompiled
 header>>, disables caching completely). This done as a safety measure to avoid a
 race condition (see below).
 
-- 
cgit v1.2.1