branch master updated: doc: Update to the new 'grub-theme' procedure.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

janneke pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new 0cbb539  doc: Update to the new 'grub-theme' procedure.
0cbb539 is described below

commit 0cbb5390e4722d985d758cb788139fa86f7764c9
Author: Jan (janneke) Nieuwenhuizen <address@hidden>
AuthorDate: Sun May 24 22:27:32 2020 +0200

    doc: Update to the new 'grub-theme' procedure.
    
    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.
---
 doc/guix.texi | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 2b1f307..aa2b316 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -26983,14 +26983,14 @@ The GRUB @code{gfxmode} to set (a list of screen 
resolution strings, see
 @end table
 @end deftp
 
-@defvr {Scheme Variable} %default-theme
-This is the default GRUB theme used by the operating system if no
+@deffn {Scheme Procedure} grub-theme
+Return the default GRUB theme used by the operating system if no
 @code{theme} field is specified in @code{bootloader-configuration}
 record.
 
 It comes with a fancy background image displaying the GNU and Guix
 logos.
-@end defvr
+@end deffn
 
 For example, to override the default resolution, you may use something
 like
@@ -27000,7 +27000,7 @@ like
  (bootloader-configuration
  ;; @dots{}
  (theme (grub-theme
-         (inherit %default-theme)
+         (inherit (grub-theme))
          (gfxmode '("1024x786x32" "auto"))))))
 @end lisp