build man pages

1 files changed, 6 insertions, 2 deletions

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"