From acc2ff8f82fc3ad75af58b600ed1eb36ee833619 Mon Sep 17 00:00:00 2001
From: Joel Rosdahl <joel@rosdahl.net>
Date: Sat, 28 Aug 2010 18:17:59 +0200
Subject: [PATCH] Minor doc tweak

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

diff --git a/MANUAL.txt b/MANUAL.txt
index 15a63efe0..352d168fb 100644
--- 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
-- 
2.47.3