From: Colin Watson Date: Fri, 29 Nov 2013 15:25:43 +0000 (+0000) Subject: Fix documentation of behaviour after pressing ESC X-Git-Tag: grub-2.02-beta1~176^2~5 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=2dbda2215ced6c9c56cea0b612c05bd2f2e90d05;p=thirdparty%2Fgrub.git Fix documentation of behaviour after pressing ESC Pointed out by Andrey Borzenkov. --- diff --git a/docs/grub.texi b/docs/grub.texi index e730d9191..1caee8347 100644 --- a/docs/grub.texi +++ b/docs/grub.texi @@ -1309,11 +1309,11 @@ before booting the default entry. Pressing a key interrupts the timeout. If this option is set to @samp{countdown} or @samp{hidden}, then, before displaying the menu, GRUB will wait for the timeout set by @samp{GRUB_TIMEOUT} to expire. If @key{ESC} is pressed during that time, it -will display the menu and wait for input according to @samp{GRUB_TIMEOUT}. -If a hotkey associated with a menu entry is pressed, it will boot the -associated menu entry immediately. If the timeout expires before either of -these happens, it will boot the default entry. In the @samp{countdown} -case, it will show a one-line indication of the remaining time. +will display the menu and wait for input. If a hotkey associated with a +menu entry is pressed, it will boot the associated menu entry immediately. +If the timeout expires before either of these happens, it will boot the +default entry. In the @samp{countdown} case, it will show a one-line +indication of the remaining time. @item GRUB_DEFAULT_BUTTON @itemx GRUB_TIMEOUT_BUTTON