Re: 01/01: scripts: system: Rename --no-grub option to --no-bootloader.

[Mathieu Othacehe]

Hi Ludo !

> Please make sure guix.texi is updated accordingly.

Sorry for the ommission, please see :

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=26551

Mathieu