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/guix.texi | |
parent | bf87f38ace7f0cbad5558c1ef027b9f02988e393 (diff) | |
download | patches-fbb25e5651d4bd084b2af41078cffd9254d8f8a7.tar patches-fbb25e5651d4bd084b2af41078cffd9254d8f8a7.tar.gz |
doc: Fix inaccurate wording in "operating-system Reference".
* doc/guix.texi (operating-system Reference): Add missing "kernel".
Diffstat (limited to 'doc/guix.texi')
-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 6507b9c436..a4aa1b67fa 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -4413,7 +4413,7 @@ configuration (@pxref{Using the Configuration System}). @table @asis @item @code{kernel} (default: @var{linux-libre}) -The package object of the operating system to use@footnote{Currently +The package object of the operating system kernel to use@footnote{Currently only the Linux-libre kernel is supported. In the future, it will be possible to use the GNU@tie{}Hurd.}. |