diff --git a/doc/make/osx-10.9.md b/doc/make/osx-10.9.md
index c4459eb1b7..3fe6d5109f 100644
--- a/doc/make/osx-10.9.md
+++ b/doc/make/osx-10.9.md
@@ -45,3 +45,12 @@ Optional Packages: tcmalloc and ninja
 
     brew install gperftools
     brew install ninja
+
+# Build
+```bash
+cd lean
+mkdir -p build/release
+cd build/release
+cmake ../../src
+make
+```