Commit Diff


commit - 2d3f13df355a2fd48c81ddf8ffa276308b676b56
commit + 5319e9b8fb21838c86c8c309ea148a0261536a4a
blob - c122eab0cafa82d0e1c6b6e72ac9333a183732f1
blob + 4f1618c41b029a78ecb1a652b6fa5ed3d954ba98
--- INSTALL
+++ 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"