]> git.ipfire.org Git - thirdparty/ccache.git/commitdiff
Tweak manual text
authorJoel Rosdahl <joel@rosdahl.net>
Tue, 22 Dec 2015 19:07:01 +0000 (20:07 +0100)
committerJoel Rosdahl <joel@rosdahl.net>
Tue, 22 Dec 2015 19:07:01 +0000 (20:07 +0100)
MANUAL.txt

index 3af3383f6e568a031879107eed3f3b77937593f0..10a654275063a7cabf379a9cf5cbb886c1d2b3b8 100644 (file)
@@ -377,9 +377,10 @@ WRAPPERS>>.
 *ignore_headers_in_manifest* (*CCACHE_IGNOREHEADERS*)::
 
     This setting is a list of paths to files (or directories with headers) that
-    ccache will *not* include in the manifest list that makes up the direct mode.
-    Note that this can cause stale cache hits, if those headers do indeed change.
-    The list separator is semicolon on Windows systems and colon on other systems.
+    ccache will *not* include in the manifest list that makes up the direct
+    mode. Note that this can cause stale cache hits if those headers do indeed
+    change. The list separator is semicolon on Windows systems and colon on
+    other systems.
 
 *log_file* (*CCACHE_LOGFILE*)::