diff --git a/doc/manual/developing.rst b/doc/manual/developing.rst
index 1f60335d1..7c237d670 100644
--- a/doc/manual/developing.rst
+++ b/doc/manual/developing.rst
@@ -142,6 +142,13 @@ These steps are required to generate gateware bitstream (``.bit``) files, build
 
     * Get Vivado from http://www.xilinx.com/support/download/index.htm.
 
+    * The "appropriate" Vivado version to use for building the bitstream can
+      vary. Some versions contain bugs that lead to hidden or visible failures,
+      others work fine.
+      Refer to the `M-Labs buildbot logs <http://buildbot.m-labs.hk/>`_ to
+      determine which version is currently used to when building the binary
+      packages.
+
     * During the Vivado installation, uncheck ``Install cable drivers`` (they are not required as we use better and open source alternatives).
 
 * Install Migen: ::