aboutsummaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorrsc <devnull@localhost>2005-01-14 17:58:09 +0000
committerrsc <devnull@localhost>2005-01-14 17:58:09 +0000
commit5319e9b8fb21838c86c8c309ea148a0261536a4a (patch)
tree7d7203fb1ea7804f32dc9ce826b4814674f5897a /INSTALL
parent2d3f13df355a2fd48c81ddf8ffa276308b676b56 (diff)
downloadplan9port-5319e9b8fb21838c86c8c309ea148a0261536a4a.tar.gz
plan9port-5319e9b8fb21838c86c8c309ea148a0261536a4a.tar.bz2
plan9port-5319e9b8fb21838c86c8c309ea148a0261536a4a.zip
build man pages
Diffstat (limited to 'INSTALL')
-rwxr-xr-xINSTALL8
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"