diff -r 22b5ef41df97 -r 567f1673d59d docs/overview.txt
--- a/docs/overview.txt	Sun May 27 20:22:06 2007 +0000
+++ b/docs/overview.txt	Fri Jun 01 16:55:33 2007 +0000
@@ -135,6 +135,7 @@
   - libc
   - cc
   - libc_finish
+  - tools
   - debug
 
 Alternatively, you can call make with the name of a step to just do that step:
@@ -144,9 +145,9 @@
 
 The shortcuts -step_name and step_name- allow to respectively stop or restart
 at that step. Thus:
-  make -libc_headers         make libc_headers-
+  make -libc_headers        and:    make libc_headers-
 are equivalent to:
-  make STOP=libc_headers     make RESTART=libc_headers
+  make STOP=libc_headers    and:    make RESTART=libc_headers
 
 ____________________________
                            /