From 8cbb7dbf918e6f5fa8600ad888ee1aa9a64516d2 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Fri, 22 Jun 2018 12:08:46 -0700 Subject: [PATCH] user-manual: wordsmithing, a foolish consistency --- doc/user-manual/user.texinfo | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo index 444ab59b2..d7b36cc37 100644 --- a/doc/user-manual/user.texinfo +++ b/doc/user-manual/user.texinfo @@ -4104,11 +4104,11 @@ and all of its required plugins. If you would like to verify that the downloaded files are authentic you will need the corresponding @file{.changes} files. Each contains checksums for the package files and is signed. If you saved Puck's -GPG key in @file{~/Downloads/puck.txt}, you can add it to your keyring -like this: +GPG key in @file{~/Downloads/codemaster.txt}, you can add it to your +keyring like this: @example -gpg --import ~/Downloads/puck.txt +gpg --import ~/Downloads/codemaster.txt @end example Then verify the signature on the @file{.changes} file like this: @@ -4141,8 +4141,9 @@ sudo dpkg --install ${P}-x11-screen_0.2.1-1_amd64.deb @end verbatim As mentioned above, when you upgrade to a new version of Ubuntu you -should first remove the @code{mit-scheme-pucked} package (and all of -its plugins), then re-install them after changing the source URL. +should first remove the @code{mit-scheme-pucked} package (which should +remove all of its plugins), then install the packages built for your +new Ubuntu. @node Unix Installation @section Unix Installation -- 2.25.1