From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Sun, 5 Nov 2017 09:46:41 +0000 (-0700)
Subject: user-manual: Further simplify the add-apt-repository command line.
X-Git-Tag: mit-scheme-pucked-9.2.12~35
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=26f78b93f30c115c8fef9f3e2413e9d8a6dc8424;p=mit-scheme.git

user-manual: Further simplify the add-apt-repository command line.

This changes the distribution from birchwood to the release code name.
---

diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo
index a5eee7dfa..d9f9eca1c 100644
--- a/doc/user-manual/user.texinfo
+++ b/doc/user-manual/user.texinfo
@@ -4043,8 +4043,8 @@ Next add the repository to your list of package sources.
 On Ubuntu 17.10 (Artful Aardvark) you would use this command:
 
 @example
-sudo add-apt-repository -s \
-    "deb http://birchwood-abbey.net/~puck/ubuntu/17.10/ birchwood main"
+sudo add-apt-repository \
+    "deb http://birchwood-abbey.net/~puck/ubuntu/17.10/"
 @end example
 
 or by editing files in @file{/etc/apt/}.