From a14518c4e4a76cae02ffdfb4005e80135909473f Mon Sep 17 00:00:00 2001
From: John Kerl <kerl.john.r@gmail.com>
Date: Wed, 23 Sep 2015 22:27:21 -0400
Subject: [PATCH] neaten

---
 doc/build.html | 1 +
 1 file changed, 1 insertion(+)

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