diff options
-rwxr-xr-x | INSTALL | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL new file mode 100755 index 00000000..5032c809 --- /dev/null +++ b/INSTALL @@ -0,0 +1,13 @@ +#!/bin/sh + +PLAN9=`pwd` export PLAN9 +PATH=$PLAN9/bin:$PATH export PATH + +cd src +make +mk clean +mk install + +echo "Set PLAN9=$PLAN9 in your profile environment." +echo 'Add $PLAN9/bin to your profile PATH.' + |