From 48691dca17d65e0df8ea9f8c17f1a47251b95261 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= Date: Fri, 22 Jun 2018 13:03:21 +0200 Subject: [PATCH] man: small fixups for systemd-boot(8) - "UEFI firmware" is a name, no need for an article - The specification is more than "recommendation" --- man/systemd-boot.xml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/man/systemd-boot.xml b/man/systemd-boot.xml index 5cd8a38152..9fadffadfe 100644 --- a/man/systemd-boot.xml +++ b/man/systemd-boot.xml @@ -27,7 +27,7 @@ systemd-boot (short: sd-boot) is a simple UEFI boot manager. It provides a graphical menu to select the entry to boot and an editor for the kernel command line. systemd-boot - supports systems with an UEFI firmware only. + supports systems with UEFI firmware only. systemd-boot loads boot entry information from the EFI system partition (ESP), usually mounted at /boot, /efi, or /boot/efi during OS @@ -44,9 +44,9 @@ arbitrary other EFI executables. Unified kernel images following the Boot - Loader Specification, as executable EFI binaries in - /EFI/Linux/ on the ESP + url="https://github.com/systemd/systemd/blob/master/doc/BOOT_LOADER_SPECIFICATION.md">Boot Loader + Specification, as executable EFI binaries in /EFI/Linux/ on the ESP. + The Microsoft Windows EFI boot manager, if installed