Drop out of date paragraph about not installing grub for EFI

diff --git a/mkosi/resources/man/mkosi.1.md b/mkosi/resources/man/mkosi.1.md
index dbe3ed3a554ddd8ccbd53bd4c6d601b6dedf342b..9cf098a292b519f4c842622088b2938c84981285 100644 (file)
--- a/mkosi/resources/man/mkosi.1.md
+++ b/mkosi/resources/man/mkosi.1.md
@@ -887,15 +887,6 @@ boolean argument: either `1`, `yes`, or `true` to enable, or `0`, `no`,
     in the ESP for compatibility with signed versions of grub which load
     the grub configuration from this location.
 
-    Note that we do not yet install grub to the ESP when `Bootloader=` is
-    set to `grub`. This has to be done manually in a postinst or finalize
-    script. The grub EFI binary should be installed to
-    `/efi/EFI/BOOT/BOOTX64.EFI` (or similar depending on the architecture)
-    and should be configured to load its configuration from
-    `EFI/<distribution>/grub.cfg` in the ESP. Signed versions of grub
-    shipped by distributions will load their configuration from this
-    location by default.
-
     Kernels need to be placed into the root filesystem (for example using
     `ExtraTrees=`) under `/usr/lib/modules/$version`, named `vmlinux` or
     `vmlinuz`. The `$version` is as produced by Kbuild's `kernelversion` make