diff --git a/README.md b/README.md
index 419b4f9..66402c6 100644
--- a/README.md
+++ b/README.md
@@ -3,3 +3,11 @@
 Needed: https://github.com/HoTT/HoTT
 
 More information on the work is in HITs.pdf.
+
+# Building
+
+Make sure that you have [hoqc](https://github.com/HoTT/HoTT) installed. Then generate
+the Makefile and build the project:
+
+    coq_makefile -f _CoqProject -o Makefile
+    make
\ No newline at end of file