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 <[email protected]> - 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)
