]> git.ipfire.org Git - thirdparty/grub.git/commit
projects / thirdparty / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7cac52) | patch
docs: grub-install is no longer a shell script
authorDaniel Axtens <dja@axtens.net>
Wed, 28 Oct 2020 01:57:18 +0000 (12:57 +1100)
committerDaniel Kiper <daniel.kiper@oracle.com>
Fri, 20 Nov 2020 13:36:50 +0000 (14:36 +0100)
commitc0c9da5c64a56995a819f1563f9b6a384191f659
treeb66be2917d9aa9e15776358bf8ad1fb4ccd067d6tree | snapshot
parentd7cac52eb21b866ffec66dc8d1319cc0695c94eecommit | diff
docs: grub-install is no longer a shell script

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>
Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>
docs/grub.texi diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/grub.git