commit - 5579b860db981c2df4a21a3f9ce3140c8d51323d
commit + 3b1a43f3df127867e39f354fc276033ba07b9d1b
blob - 80c7bb2b2785772788364f69bc6843bd4839cc4f
blob + 945f2a83661529091e01b8e5817b0378a157a941
--- INSTALL
+++ INSTALL
@@ -39,8 +39,11 @@ cd $PLAN9
 sh lib/moveplan9.sh
 echo "Building web manual..."
 cd $PLAN9/dist; mk man
+if [ -x LOCAL.INSTALL ]; then
+	echo "Running local modifications..."
+	./LOCAL.INSTALL
+fi
 
-
 echo "Done. "
 echo " "
 echo "Add these to your profile environment."