diff --git a/0131-Add-grub-set-bootflag-utility.patch b/0131-Add-grub-set-bootflag-utility.patch index d5fd262..d090af4 100644 --- a/0131-Add-grub-set-bootflag-utility.patch +++ b/0131-Add-grub-set-bootflag-utility.patch @@ -284,7 +284,7 @@ index 00000000000..57801da22a0 +.TP +\fBBOOTFLAG\fR +.RS 7 -+Bootflag to set, one of \fIboot_success\fR or \fIshow_menu_once\fR. ++Bootflag to set, one of \fIboot_success\fR or \fImenu_show_once\fR. +.RE + +.SH SEE ALSO