From 72d1562a4da8909b1990687d6f33b543bd215541 Mon Sep 17 00:00:00 2001 From: Mathieu Othacehe Date: Fri, 29 May 2020 12:20:15 +0200 Subject: [PATCH] build: image: Fix initialize-efi-partition docstring. * gnu/build/image.scm (initialize-efi-partition): Turn BOOTLOADER-PACKAGE into GRUB-EFI. --- gnu/build/image.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/build/image.scm b/gnu/build/image.scm index a8594e202b..14503b02ba 100644 --- a/gnu/build/image.scm +++ b/gnu/build/image.scm @@ -148,7 +148,7 @@ (define* (initialize-efi-partition root #:key grub-efi #:allow-other-keys) - "Install in ROOT directory, an EFI loader using BOOTLOADER-PACKAGE." + "Install in ROOT directory, an EFI loader using GRUB-EFI." (install-efi-loader grub-efi root)) (define* (initialize-root-partition root