From 26f78b93f30c115c8fef9f3e2413e9d8a6dc8424 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Sun, 5 Nov 2017 02:46:41 -0700 Subject: [PATCH] user-manual: Further simplify the add-apt-repository command line. This changes the distribution from birchwood to the release code name. --- doc/user-manual/user.texinfo | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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/}. -- 2.25.1