From d6b7995c1629768590366a6ff2170d65c4cc6d9b Mon Sep 17 00:00:00 2001
From: Qi Wang <interwq@gwu.edu>
Date: Thu, 15 Aug 2019 22:33:34 -0700
Subject: [PATCH] Update INSTALL.md about the default doc build.

---
 INSTALL.md | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index b8f729b0d7..eb55acfd2d 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -9,14 +9,11 @@ If building from unpackaged developer sources, the simplest command sequence
 that might work is:
 
     ./autogen.sh
-    make dist
     make
     make install
 
-Note that documentation is not built by the default target because doing so
-would create a dependency on xsltproc in packaged releases, hence the
-requirement to either run 'make dist' or avoid installing docs via the various
-install_* targets documented below.
+Note that documentation is built by the default target only when xsltproc is
+available.  Build will warn but not stop if the dependency is missing.
 
 
 ## Advanced configuration