diff --git a/doc/make/ubuntu-16.04.md b/doc/make/ubuntu-16.04.md
index 101adf530b..f6e04fa6e2 100644
--- a/doc/make/ubuntu-16.04.md
+++ b/doc/make/ubuntu-16.04.md
@@ -1,4 +1,4 @@
-Installing requirements on Ubuntu 16.04
+Installing Lean on Ubuntu 16.04
 ---------------------------------------------
 
 ### Basic packages
@@ -8,3 +8,15 @@ Installing requirements on Ubuntu 16.04
 ### Optional packages
 
     sudo apt-get install gitg valgrind doxygen kcachegrind
+
+### Clone Lean repository
+
+    git clone https://github.com/leanprover/lean.git
+
+### Build Lean
+
+    cd lean
+    mkdir -p build/release
+    cd build/release
+    cmake ../../src
+    make