[PATCH 01/18] docs/grub: grub-install is no longer a shell script

[Daniel Axtens]

Since commit cd46aa6cefab in 2013, grub-install hasn't been a shell
script. The para doesn't really add that much, especially since it's
the user manual, so just drop it.

Signed-off-by: Daniel Axtens <dja@axtens.net>
---
 docs/grub.texi | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/docs/grub.texi b/docs/grub.texi
index bbbe6c7e07bf..bd72b589522e 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -695,13 +695,6 @@ floppy instead of exposing the USB drive as a hard disk 
(they call it
 This install doesn't conflict with standard install as long as they are in
 separate directories.
 
-Note that @command{grub-install} is actually just a shell script and the
-real task is done by other tools such as @command{grub-mkimage}. Therefore,
-you may run those commands directly to install GRUB, without using
-@command{grub-install}. Don't do that, however, unless you are very familiar
-with the internals of GRUB. Installing a boot loader on a running OS may be
-extremely dangerous.
-
 On EFI systems for fixed disk install you have to mount EFI System Partition.
 If you mount it at @file{/boot/efi} then you don't need any special arguments:
 
-- 
2.25.1