diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-05-25 17:03:47 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-05-25 21:34:23 +0200 |
| commit | fbb25e5651d4bd084b2af41078cffd9254d8f8a7 (patch) | |
| tree | c0a03abd56fdfeb94c6d0d45e842355f87bf3b89 /doc | |
| parent | bf87f38ace7f0cbad5558c1ef027b9f02988e393 (diff) | |
doc: Fix inaccurate wording in "operating-system Reference".
* doc/guix.texi (operating-system Reference): Add missing "kernel".
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 6507b9c4364..a4aa1b67fab 100644 --- a/doc/guix.texi +++ b/doc/guix.texi | |||
| @@ -4413,7 +4413,7 @@ configuration (@pxref{Using the Configuration System}). | |||
| 4413 | 4413 | ||
| 4414 | @table @asis | 4414 | @table @asis |
| 4415 | @item @code{kernel} (default: @var{linux-libre}) | 4415 | @item @code{kernel} (default: @var{linux-libre}) |
| 4416 | The package object of the operating system to use@footnote{Currently | 4416 | The package object of the operating system kernel to use@footnote{Currently |
| 4417 | only the Linux-libre kernel is supported. In the future, it will be | 4417 | only the Linux-libre kernel is supported. In the future, it will be |
| 4418 | possible to use the GNU@tie{}Hurd.}. | 4418 | possible to use the GNU@tie{}Hurd.}. |
| 4419 | 4419 | ||