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 | patches-286749bd4413bd9994fe2bc06a5596ebb02ea402.tar 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