diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index c7bfe6ccf1c1..3967ca05f924 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -28,6 +28,15 @@ install that exact version of rustc as a toolchain:
 
 [`rustup-toolchain-install-master`]: https://github.com/kennytm/rustup-toolchain-install-master
 
+Now building Miri is just one command away:
+
+```
+./miri build
+```
+
+Run `./miri` without arguments to see the other commands our build tool
+supports.
+
 ### Fixing Miri when rustc changes
 
 Miri is heavily tied to rustc internals, so it is very common that rustc changes