From 7fd5042ff39d5b17f872263380be1267a9f6e385 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sat, 5 Mar 2016 16:53:29 +0000
Subject: [PATCH] Minor tweaks to ``README-CMake.md``.

---
 README-CMake.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/README-CMake.md b/README-CMake.md
index cbdcbd158..28f49cf27 100644
--- a/README-CMake.md
+++ b/README-CMake.md
@@ -15,8 +15,8 @@ on your platform. Example generators include "UNIX Makfiles" and "Visual Studio
 If you have never used the python build system you can skip this step.
 
 The existing Python build system creates generated source files in
-the build tree. The CMake build system will refuse to work if it
-detects this so you need to clean your build tree first.
+the source tree. The CMake build system will refuse to work if it
+detects this so you need to clean your source tree first.
 
 To do this run the following in the root of the repository
 
@@ -46,8 +46,8 @@ python contrib/cmake/bootstrap.py create
 ```
 
 in the root of the repository. Once you have done this you can now build Z3 using CMake.
-Remember to rerun this command if you pull down new code or change branch so
-that the CMake files are up to date.
+Make sure you remember to rerun this command if you pull down new code/rebase/change branch so
+that the copied CMake files are up to date.
 
 To remove the copied files run