plan9port

commit 5319e9b8fb21838c86c8c309ea148a0261536a4a
parent 2d3f13df355a2fd48c81ddf8ffa276308b676b56
Author: rsc <devnull@localhost>
Date:   Fri, 14 Jan 2005 17:58:09 +0000

build man pages

Diffstat:
M
INSTALL
 | 
8
++++++--

1 file changed, 6 insertions(+), 2 deletions(-)
diff --git 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"