1 files changed, 4 insertions, 1 deletions
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 " "