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 a5eee7dfa699694c0f72e5910115d056c947f2ce..d9f9eca1c454f2b2d590213662525056ea80e916 100644 (file)
--- 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/}.