diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-04-06 21:17:42 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-04-06 21:18:13 +0200 |
| commit | 574e86f9cf7a62a235f3b1cfa215b82e47bcd5a7 (patch) | |
| tree | a711b375f16e39073b82714ad6105d1eeb6f4d12 /gnu/packages/grub.scm | |
| parent | 0ec6237b2ec48b2acd506788d6c1b734f27896e5 (diff) | |
| download | patches-574e86f9cf7a62a235f3b1cfa215b82e47bcd5a7.tar patches-574e86f9cf7a62a235f3b1cfa215b82e47bcd5a7.tar.gz | |
gnu: Synchronize synopses and descriptions with the Womb.
* gnu/packages/gnunet.scm (gnunet): Synchronize description and synopsis
with upstream.
* gnu/packages/maths.scm (units): Likewise.
* gnu/packages/grub.scm (grub): Likewise.
* gnu/packages/pretty-print.scm (enscript): Likewise.
Diffstat (limited to 'gnu/packages/grub.scm')
| -rw-r--r-- | gnu/packages/grub.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/grub.scm b/gnu/packages/grub.scm index 9bb4af6683..fabbbc439d 100644 --- a/gnu/packages/grub.scm +++ b/gnu/packages/grub.scm @@ -101,8 +101,8 @@ (description "GRUB is a multiboot bootloader. It is used for initially loading the kernel of an operating system and then transferring control to it. The kernel -then goes on to load the rest of the operating system. As a multiboot boot -loader, GRUB handles the presence of multiple operating systems installed on -the same computer; upon booting the computer, the user is presented with a +then goes on to load the rest of the operating system. As a multiboot +bootloader, GRUB handles the presence of multiple operating systems installed +on the same computer; upon booting the computer, the user is presented with a menu to select one of the installed operating systems.") (license gpl3+))) |