efi: generate /386/efiboot.fat for generating efi bootable cd images (see -E option...

[plan9front.git] / sys / man / 8 / 9boot

diff --git a/sys/man/8/9boot b/sys/man/8/9boot
index 5e778906f19229fa2b9431f329436b530bc86d64..7fb2fd853d5d82000b689ddcf1f50ad2d38472e2 100644 (file)
--- a/sys/man/8/9boot
+++ b/sys/man/8/9boot
@@ -1,6 +1,6 @@
 .TH 9BOOT 8
 .SH NAME
-9bootfat, 9bootiso, 9bootpxe, bootia32.efi, bootx64.efi \- PC bootloader for FAT, ISO and PXE network booting
+9bootfat, 9bootiso, 9bootpxe, bootia32.efi, bootx64.efi, efiboot.fat \- PC bootloader for FAT, ISO and PXE network booting
 .SH SYNOPSIS
 Started by PC BIOS or chainloaded by partition bootsector
 .SH DESCRIPTION
@@ -118,6 +118,7 @@ BIOS booting.
 .br
 .B /386/bootx64.efi
 .br
+.B /386/efiboot.fat
 .SH SOURCE
 .BR /sys/src/boot/pc
 .br