usr/src/README
changeset 99 1c97afbc10fc
parent 6 c8fe63dc7633
child 151 80b508d743ec
--- a/usr/src/README	Tue Apr 08 19:19:26 2008 -0600
+++ b/usr/src/README	Tue Apr 08 19:39:54 2008 -0700
@@ -7,7 +7,7 @@
 
  1. cd usr/src
 
- 2. cp ../tools/env/developer.sh .; chmod +w developer.sh
+ 2. cp tools/env/developer.sh .; chmod +w developer.sh
     Change GATE and/or CODEMGR_WS as appropriate.
     You also need to set the paths for your build tools.