--- linux-2.5-vanilla/scripts/kconfig/mconf.c	2003-03-24 22:00:10.000000000 +0000
+++ linux-2.5/scripts/kconfig/mconf.c	2003-05-26 12:49:13.000000000 +0100
@@ -781,7 +781,7 @@
 		printf("\n\n"
 			"*** End of Linux kernel configuration.\n"
 			"*** Check the top-level Makefile for additional configuration.\n"
-			"*** Next, you may run 'make bzImage', 'make bzdisk', or 'make install'.\n\n");
+			"*** Next, you may run 'make', 'make bzImage', 'make bzdisk', or 'make install'.\n\n");
 	} else
 		printf("\n\nYour kernel configuration changes were NOT saved.\n\n");