src/patches/grub-0.91-splashimagehelp.patch

   1 diff -ur grub-0.91/docs/grub.texi grub/docs/grub.texi
   2 --- grub-0.91/docs/grub.texi    Mon Jan 21 22:57:46 2002
   3 +++ grub/docs/grub.texi Mon Jan 21 22:57:51 2002
   4 @@ -1891,6 +1891,7 @@
   5  * rarp::                        Initialize a network device via RARP
   6  * serial::                      Set up a serial device
   7  * setkey::                      Configure the key map
   8 +* splashimage::                 Use a splash image
   9  * terminal::                    Choose a terminal
  10  * tftpserver::                  Specify a TFTP server
  11  * unhide::                      Unhide a partition
  12 @@ -2260,6 +2261,16 @@
  13  @end deffn
  14
  15
  16 +@node splashimage
  17 +@subsection splashimage
  18 +
  19 +@deffn Command splashimage file
  20 +Select an image to use as the background image.  This should be
  21 +specified using normal GRUB device naming syntax.  The format of the
  22 +file is a gzipped xpm which is 640x480 with a 14 color palette.
  23 +@end deffn
  24 +
  25 +
  26  @node terminal
  27  @subsection terminal
  28