From: Joel Rosdahl Date: Thu, 26 Oct 2023 17:07:44 +0000 (+0200) Subject: docs: Improve language X-Git-Tag: v4.9~30 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=df94fa941ffc914a21068d14dbec28186d1be04e;p=thirdparty%2Fccache.git docs: Improve language --- diff --git a/doc/MANUAL.adoc b/doc/MANUAL.adoc index 64b429030..a21d5ad33 100644 --- a/doc/MANUAL.adoc +++ b/doc/MANUAL.adoc @@ -437,7 +437,7 @@ option key. A typical path to use as *base_dir* is your home directory or another directory that is a parent of your project directories. Don't use `/` as the base directory since that will make ccache also rewrite paths to system header -files, which typically is contraproductive. +files, which typically is counterproductive. + For example, say that Alice's current working directory is `/home/alice/project1/build` and that she compiles like this: @@ -464,7 +464,7 @@ gcc -I/usr/include/example -I/home/alice/project2/include -c ../src/example.c If Bob has put `project1` and `project2` in `/home/bob/stuff` and both users have set *base_dir* to `/home` or `/home/$USER`, then Bob will get a cache hit (if they share ccache directory) since the actual command line will be -identical to that of Alice: +identical to Alice's command line: + ------------------------------------------------------------------------------- # Current working directory: /home/bob/stuff/project1/build