From 5319e9b8fb21838c86c8c309ea148a0261536a4a Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Fri, 14 Jan 2005 17:58:09 +0000
Subject: build man pages

---
 INSTALL | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index c122eab0..4f1618c4 100755
--- a/INSTALL
+++ b/INSTALL
@@ -9,13 +9,17 @@ make
 echo "Building everything..."
 mk clean
 echo "Installing everything..."
-mk install
+mk install | tee -a mk-install.log
 echo "Cleaning up..."
 mk clean
-echo "Renaming hard-coded paths to /usr/local/plan9..."
+echo "Renaming hard-coded /usr/local/plan9 paths..."
 cd $PLAN9
 sh lib/moveplan9.sh
+echo "Building web manual..."
+cd $PLAN9/dist; mk man
 
+
+echo "Done. "
 echo " "
 echo "Add these to your profile environment."
 echo "	PLAN9=$PLAN9 export PLAN9"
-- 
cgit v1.2.3