From 93357bda3ffe357d8841d2e680fffa0a7eb89d3a Mon Sep 17 00:00:00 2001
From: John Kerl <kerl.john.r@gmail.com>
Date: Wed, 1 Mar 2017 08:15:50 -0500
Subject: [PATCH] build-doc refines

---
 doc/build.html             | 4 +++-
 doc/content-for-build.html | 4 +++-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/doc/build.html b/doc/build.html
index db31a16c8..13dae72e9 100644
--- a/doc/build.html
+++ b/doc/build.html
@@ -417,8 +417,10 @@ copyright</a>.
   <li/> On buildbox: <tt>autoreconf -fiv &amp;&amp; ./configure &amp;&amp; make distcheck</tt>
   <li/> On buildbox: make SRPM as in <a href="https://github.com/johnkerl/miller/blob/master/README-RPM.md">
     https://github.com/johnkerl/miller/blob/master/README-RPM.md</a>
+  <li/> On all buildboxes: <tt>cd c</tt> and <tt>make -f Makefile.no-autoconfig mlr.static</tt>. Then copy
+    <tt>mlr.static</tt> to <tt>../mlr.{arch}</tt>.
   <li/> Pull back release tarball <tt>mlr-3.4.0.tar.gz</tt> and SRPM <tt>mlr-3.4.0-1.el6.src.rpm</tt> from buildbox,
-    and <tt>mlr.arch</tt> binaries from whatever buildboxes.
+    and <tt>mlr.{arch}</tt> binaries from whatever buildboxes.
   </ul>
 
 <li/>Create the Github release tag:
diff --git a/doc/content-for-build.html b/doc/content-for-build.html
index c6d52b8a0..c0bff80c2 100644
--- a/doc/content-for-build.html
+++ b/doc/content-for-build.html
@@ -202,8 +202,10 @@ copyright</a>.
   <li/> On buildbox: <tt>autoreconf -fiv &amp;&amp; ./configure &amp;&amp; make distcheck</tt>
   <li/> On buildbox: make SRPM as in <a href="https://github.com/johnkerl/miller/blob/master/README-RPM.md">
     https://github.com/johnkerl/miller/blob/master/README-RPM.md</a>
+  <li/> On all buildboxes: <tt>cd c</tt> and <tt>make -f Makefile.no-autoconfig mlr.static</tt>. Then copy
+    <tt>mlr.static</tt> to <tt>../mlr.{arch}</tt>.
   <li/> Pull back release tarball <tt>mlr-3.4.0.tar.gz</tt> and SRPM <tt>mlr-3.4.0-1.el6.src.rpm</tt> from buildbox,
-    and <tt>mlr.arch</tt> binaries from whatever buildboxes.
+    and <tt>mlr.{arch}</tt> binaries from whatever buildboxes.
   </ul>
 
 <li/>Create the Github release tag: