diff --git a/man/kernel-install.xml b/man/kernel-install.xml index e50aeee949..f27036ea39 100644 --- a/man/kernel-install.xml +++ b/man/kernel-install.xml @@ -111,7 +111,7 @@ 90-uki-copy.install copies a file uki.efi from $KERNEL_INSTALL_STAGING_AREA or if it does - not exist the KERNEL-IMAGE argument, iff it has a + not exist the KERNEL-IMAGE argument, only if it has a .efi extension, to $BOOT/EFI/Linux/ENTRY-TOKEN-KERNEL-VERSION.efi.