diff options
author | Mark H Weaver <mhw@netris.org> | 2016-05-11 13:37:47 -0400 |
---|---|---|
committer | Mark H Weaver <mhw@netris.org> | 2016-05-11 13:37:47 -0400 |
commit | 9f5e79675367aedd6be89e07edbc08a6e3695fab (patch) | |
tree | 2679dfc572b7173ba6fe52611047a47283af119d /doc/guix.texi | |
parent | e2b89203db6c2056c9658be40ab1be471769d9eb (diff) | |
parent | cf60e76a9503156a8c1047fa446525b28842f7e8 (diff) | |
download | patches-9f5e79675367aedd6be89e07edbc08a6e3695fab.tar patches-9f5e79675367aedd6be89e07edbc08a6e3695fab.tar.gz |
Merge branch 'master' into gnome-updates
Diffstat (limited to 'doc/guix.texi')
-rw-r--r-- | doc/guix.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index b575faffd7..0e63ecadfd 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -375,7 +375,7 @@ If that command fails because you do not have the required public key, then run this command to import it: @example -$ gpg --keyserver keys.gnupg.net --recv-keys 3D9AEBB5 +$ gpg --keyserver keys.gnupg.net --recv-keys 090B11993D9AEBB5 @end example @noindent @@ -7331,7 +7331,7 @@ See @code{man loadkeys} for details. @end deffn -@deffn {Scheme Procedure} gpm-service-type [#:gpm @var{gpm}] @ +@deffn {Scheme Procedure} gpm-service [#:gpm @var{gpm}] @ [#:options] Run @var{gpm}, the general-purpose mouse daemon, with the given command-line @var{options}. GPM allows users to use the mouse in the console, |