diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2023-01-25 13:57:09 +0100 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2023-03-07 08:14:46 +0100 |
| commit | 642617f431457382ec2140a52ee08bfbb3e5e1db (patch) | |
| tree | d6784341f4456f9b89e94510a01326ae470e84d8 /man/kernel-install.xml | |
| parent | 90-uki-copy.install: create $BOOT/EFI/Linux directory if needed (diff) | |
| download | systemd-642617f431457382ec2140a52ee08bfbb3e5e1db.tar.xz systemd-642617f431457382ec2140a52ee08bfbb3e5e1db.zip | |
kernel-install: remove math slang from man page
Diffstat (limited to 'man/kernel-install.xml')
| -rw-r--r-- | man/kernel-install.xml | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ <listitem><para><filename>90-uki-copy.install</filename> copies a file <filename>uki.efi</filename> from <varname>$KERNEL_INSTALL_STAGING_AREA</varname> or if it does - not exist the <replaceable>KERNEL-IMAGE</replaceable> argument, iff it has a + not exist the <replaceable>KERNEL-IMAGE</replaceable> argument, only if it has a <literal>.efi</literal> extension, to <filename>$BOOT/EFI/Linux/<replaceable>ENTRY-TOKEN</replaceable>-<replaceable>KERNEL-VERSION</replaceable>.efi</filename>.</para> |