summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorMathieu Othacehe <othacehe@gnu.org>2020-05-29 12:20:15 +0200
committerMathieu Othacehe <othacehe@gnu.org>2020-05-29 12:20:15 +0200
commit72d1562a4da8909b1990687d6f33b543bd215541 (patch)
tree946d4da0ea699e362294f918639caf2bc561ac2f /gnu
parente3f0155c41b28510f77e113ca2d37f0e7d90a2ca (diff)
build: image: Fix initialize-efi-partition docstring.
* gnu/build/image.scm (initialize-efi-partition): Turn BOOTLOADER-PACKAGE into GRUB-EFI.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/build/image.scm2
1 files changed, 1 insertions, 1 deletions
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 @@ deduplicates files common to CLOSURE and the rest of PREFIX."
#: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