- install gofmt in src/cmd/gofmt
- remove some left-over files

R=rsc
DELTA=1465  (281 added, 1181 deleted, 3 changed)
OCL=30350
CL=30353
diff --git a/src/run.bash b/src/run.bash
index 1de6aaf..f275d99 100755
--- a/src/run.bash
+++ b/src/run.bash
@@ -36,12 +36,10 @@
 GOMAXPROCS=10 make test
 ) || exit $?
 
-(xcd ../usr/gri/pretty
+(xcd cmd/gofmt
 make clean
 time make
-make smoketest
-# TODO: this belongs elsewhere
-cp godoc $HOME/bin
+time make smoketest
 ) || exit $?
 
 (xcd ../doc/progs