Minor doc tweak

diff --git a/MANUAL.txt b/MANUAL.txt
index 15a63efe0b82fe8775f8821185460db9ba6ea1e2..352d168fb518cace94d44e54cbd7c7e1138f381a 100644 (file)
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -561,7 +561,7 @@ things to make it work properly:
 +
 --
 ** use the *-include* compiler option to include the precompiled header
-    (i.e., not use *#include* in the source code); or
+   (i.e., don't use *#include* in the source code to include the header); or
 ** add the *-fpch-preprocess* compiler option when compiling.
 
 If you don't do this, either the non-precompiled version of the header file