diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2020-05-29 12:20:15 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-05-29 12:20:15 +0200 |
| commit | 72d1562a4da8909b1990687d6f33b543bd215541 (patch) | |
| tree | 946d4da0ea699e362294f918639caf2bc561ac2f /gnu | |
| parent | e3f0155c41b28510f77e113ca2d37f0e7d90a2ca (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.scm | 2 |
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 |