diff -r 7acdd1de5b50 -r a8094ec77e43 docs/overview.txt
--- a/docs/overview.txt	Mon Apr 20 21:30:25 2009 +0000
+++ b/docs/overview.txt	Mon May 18 16:53:54 2009 +0000
@@ -145,7 +145,6 @@
 simple:
   ./configure --local
   make
-  make install
 
 Now, *do not* remove crosstool-NG sources. They are needed to run crosstool-NG!
 Stay in the directory holding the sources, and run: