Bug#974219: Bug#1024364: grub-reboot man page: broken info reference

[Vincent Lefevre]

Control: merge 974219 1024364
Control: found 974219 2.12-9

In bug 1024364:

On 2022-11-18 12:59:27 +0100, Jakub Wilk wrote:
> Package: grub2-common
> Version: 2.06-5
> 
> The grub-reboot(8) man page reads:
> 
> > The full documentation for grub‐reboot is maintained as a Texinfo
> > manual.  If the info and grub‐reboot programs are properly installed at
> > your site, the command
> > 
> >       info grub‐reboot
> > 
> > should give you access to the complete manual.
> 
> But there's no such info file as far as I can tell.
> When I run "info grub‐reboot", this very man page is shown to me again.

This is exactly the same bug as 974219. Merging.
And still not fixed yet.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)