They weren't completely accurate, you don't need to reinstall
grub after editing its config, since it has built-in filesystem
drivers. Also, those details very from system to system, so we
should probably just leave it out.
.PP
In order for plymouth to be loaded during boot, the option `splash'
(or `rhgb' for backward compatibility with the RHGB boot splash) must be
-provided at the kernel command line. Depending on your version of GRUB
-(1 or 2), this involves editing the files menu.lst or grub.cfg in your default
-grub directory or editing a special grub configuration file in /etc, followed by invoking
-something like `update-grub'.
+provided at the kernel command line.
.SH OPTIONS
plymouth-set-default-theme follows the usual GNU command line syntax, with long
options starting with two dashes (`-') and short variants of each of them.