diff --git a/doc/build.html b/doc/build.html
index 0487d93ae..fb4128898 100644
--- a/doc/build.html
+++ b/doc/build.html
@@ -138,6 +138,7 @@ linked).
   <li/> <tt>./configure --prefix=/usr/local</tt>
   <li/> <tt>./configure --prefix=$HOME/pkgs</tt>
   <li/> <tt>./configure CC=clang</tt>
+  <li/> <tt>./configure --disable-shared</tt> (to make a statically linked executable)
   <li/> etc.
   </ul>
 <li/> <tt>make</tt> creates the <tt>c/mlr</tt> executable