diff -ur grub-0.91/docs/grub.texi grub/docs/grub.texi

--- grub-0.91/docs/grub.texi	Mon Jan 21 22:57:46 2002

+++ grub/docs/grub.texi	Mon Jan 21 22:57:51 2002

@@ -1891,6 +1891,7 @@

 * rarp::                        Initialize a network device via RARP

 * serial::                      Set up a serial device

 * setkey::                      Configure the key map

+* splashimage::                 Use a splash image

 * terminal::                    Choose a terminal

 * tftpserver::                  Specify a TFTP server

 * unhide::                      Unhide a partition

@@ -2260,6 +2261,16 @@

 @end deffn

+@node splashimage

+@subsection splashimage

+

+@deffn Command splashimage file

+Select an image to use as the background image.  This should be

+specified using normal GRUB device naming syntax.  The format of the

+file is a gzipped xpm which is 640x480 with a 14 color palette.

+@end deffn

+

+

 @node terminal

 @subsection terminal