diff options
| author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-05-24 22:27:32 +0200 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2020-05-24 22:36:19 +0200 |
| commit | 0cbb5390e4722d985d758cb788139fa86f7764c9 (patch) | |
| tree | 3161e9650bb355588aebbcd12e372c6088c33662 /AUTHORS | |
| parent | 2ae11cd0a43bfd8c0106afc620c2e5be1cecef78 (diff) | |
| download | patches-0cbb5390e4722d985d758cb788139fa86f7764c9.tar patches-0cbb5390e4722d985d758cb788139fa86f7764c9.tar.gz | |
doc: Update to the new 'grub-theme' procedure.base-for-series-4084base-for-series-4082base-for-series-4075
This is a follow-up commit to 9cdb10d52e34f7e8fa3b6238fe268646a4bbb877:
gnu: grub: Allow a PNG image and replace "aspect-ratio" with "resolution".
* doc/guix.texi (Bootloader Configuration): Describe and use the 'grub-theme'
procedure instead of the removed '%default-theme' variable.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions