diff --git a/README-CMake.md b/README-CMake.md
index dc1f33ec6..e182a7f94 100644
--- a/README-CMake.md
+++ b/README-CMake.md
@@ -441,3 +441,16 @@ relevant `*_WARNINGS_AS_ERRORS` list defined in
 
 Additional warnings should only be added here if the warnings has no false
 positives.
+
+### Building TPTP with CMAKE
+
+
+Build instructions:
+
+1. cd z3
+2. mkdir release
+3. cd release
+4. cmake3 -DZ3_BUILD_LIBZ3_SHARED=FALSE -DCMAKE_BUILD_TYPE=RelWithDebInfo -G "Unix Makefiles" ../
+5. make
+6. make z3_tptp5
+7. cp examples/tptp_build_dir/z3_tptp5 ../../bin/z3_tptp
\ No newline at end of file
diff --git a/examples/tptp/README b/examples/tptp/README
index 1abed0799..a6f3636a1 100644
--- a/examples/tptp/README
+++ b/examples/tptp/README
@@ -17,15 +17,4 @@ It also exposes utilities for converting between SMT-LIB
 and TPTP format.
 
 
-Custom build with CMAKE:
-
-Build instructions:
-
-1. cd z3
-2. mkdir release
-3. cd release
-4. cmake3 -DZ3_BUILD_LIBZ3_SHARED=FALSE -DCMAKE_BUILD_TYPE=RelWithDebInfo -G "Unix Makefiles" ../
-5. make
-6. make z3_tptp5
-7. cp examples/tptp_build_dir/z3_tptp5 ../../bin/z3_tptp