From 3b1a43f3df127867e39f354fc276033ba07b9d1b Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Tue, 18 Jan 2005 20:17:42 +0000
Subject: run LOCAL.INSTALL

---
 INSTALL | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index 80c7bb2b..945f2a83 100755
--- a/INSTALL
+++ b/INSTALL
@@ -39,7 +39,10 @@ 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 " "
-- 
cgit v1.2.3