diff --git a/Documentation/dev-buck.txt b/Documentation/dev-buck.txt
index 3b113821fa..d5bd4b4454 100644
--- a/Documentation/dev-buck.txt
+++ b/Documentation/dev-buck.txt
@@ -14,6 +14,7 @@ Clone the git and build it:
 ----
   git clone https://gerrit.googlesource.com/buck
   cd buck
+  git checkout $(cat ../gerrit/.buckversion)
   ant
 ----