Bug#48991: grub(8) manpage claims the command is called GRUB

[Ben Harris]

Package: grub
Version: 0.5.93

According to grub(8):

--------8<--------
SYNOPSIS
       GRUB [OPTION]...
-------->8--------

but:

--------8<--------
zombie:~# GRUB
bash: GRUB: command not found
-------->8--------

I suspect the synopsis should read "grub [option ...]".

-- 
Ben Harris
Unix Support, University of Cambridge Computing Service.