diff options
author | Pierre Neidhardt <mail@ambrevar.xyz> | 2019-01-21 19:27:51 +0100 |
---|---|---|
committer | Pierre Neidhardt <mail@ambrevar.xyz> | 2019-01-23 18:01:16 +0100 |
commit | 286749bd4413bd9994fe2bc06a5596ebb02ea402 (patch) | |
tree | 09846cfd104f7c3686c4a8d3cc1f3c3747bebd4e /gnu/system | |
parent | f0caf7607d42b7d3daa3da2bd8e662fdf6e54b18 (diff) | |
download | guix-patches-286749bd4413bd9994fe2bc06a5596ebb02ea402.tar guix-patches-286749bd4413bd9994fe2bc06a5596ebb02ea402.tar.gz |
doc: Correct EFI-specific system configuration details.
* doc/guix.texi (Preparing for Installation): /boot/efi is arbitrary.
Mention /boot/efi consistently.
(Proceeding with the Installation): Make it explicit that the EFI mount point
must both be mounted and be specified in the system configuration.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions