diff -r a30b7169fdd1 -r 7ad7d7d6df47 lib/Tools/mkdir
--- a/lib/Tools/mkdir	Sat Oct 04 16:19:49 2008 +0200
+++ b/lib/Tools/mkdir	Sat Oct 04 17:40:56 2008 +0200
@@ -281,7 +281,7 @@
 
 Notes:
 
-  * 'isatool make' processes the session (including document preparation)
+  * 'isabelle make' processes the session (including document preparation)
 
   * $DIR/IsaMakefile contains compilation options and file dependencies