commit 3b1a43f3df127867e39f354fc276033ba07b9d1b parent 5579b860db981c2df4a21a3f9ce3140c8d51323d Author: rsc <devnull@localhost> Date: Tue, 18 Jan 2005 20:17:42 +0000 run LOCAL.INSTALL Diffstat:
| M | INSTALL | | | 5 | ++++- |
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git 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 " "