diff --git a/doc/manual/command-ref/opt-common.xml b/doc/manual/command-ref/opt-common.xml
index bc26a9061..14353122f 100644
--- a/doc/manual/command-ref/opt-common.xml
+++ b/doc/manual/command-ref/opt-common.xml
@@ -191,6 +191,23 @@
+
+
+
+
+ Disables the build hook mechanism. This allows to ignore remote
+ builders if they are setup on the machine.
+
+ It's useful in cases where the bandwidth between the client and the
+ remote builder is too low. In that case it can take more time to upload the
+ sources to the remote builder and fetch back the result than to do the
+ computation locally.
+
+
+
+
+
+