URI: 

       trun LOCAL.INSTALL - plan9port - [fork] Plan 9 from user space
  HTML git clone git://src.adamsgaard.dk/plan9port
   DIR Log
   DIR Files
   DIR Refs
   DIR README
   DIR LICENSE
       ---
   DIR commit 3b1a43f3df127867e39f354fc276033ba07b9d1b
   DIR parent 5579b860db981c2df4a21a3f9ce3140c8d51323d
  HTML 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(-)
       ---
   DIR diff --git a/INSTALL b/INSTALL
       t@@ -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 " "