diff options
| author | rsc <devnull@localhost> | 2005-01-18 20:17:42 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-01-18 20:17:42 +0000 |
| commit | 3b1a43f3df127867e39f354fc276033ba07b9d1b (patch) | |
| tree | 1fc816493020e935e2f97be4b82ec4db8f6558a3 | |
| parent | 5579b860db981c2df4a21a3f9ce3140c8d51323d (diff) | |
| download | plan9port-3b1a43f3df127867e39f354fc276033ba07b9d1b.tar.gz plan9port-3b1a43f3df127867e39f354fc276033ba07b9d1b.tar.bz2 plan9port-3b1a43f3df127867e39f354fc276033ba07b9d1b.zip | |
run LOCAL.INSTALL
| -rwxr-xr-x | INSTALL | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 " " |