user.texinfo: A typo. And punt mention of gdbm microcode module.

diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo
index c1d5b389e935196e377b1885d3def644072d7240..9466048d5b4e902be503ae06d01c4113b7e72a40 100644 (file)
--- a/doc/user-manual/user.texinfo
+++ b/doc/user-manual/user.texinfo
@@ -1136,10 +1136,6 @@ compression of compiled-code debugging information.
 The @code{format} procedure.  @xref{Format, , , scheme, MIT/GNU Scheme
 Reference Manual}.
 
-@item gdbm
-Support to access @code{gdbm} databases.  Undocumented; see the source
-files @file{runtime/gdbm.scm} and @file{microcode/prgdbm.c}.
-
 @item ordered-vector
 Support to search and do completion on vectors of ordered elements.
 Undocumented; see the source file @file{runtime/ordvec.scm}.
@@ -4045,7 +4041,7 @@ On Ubuntu 17.10 (Artful Aardvark) you would use this command:
 
 @example
 sudo add-apt-repository \
-    "deb http://birchwood-abbey.net/ubuntu/17.10/ xenial main"
+    "deb http://birchwood-abbey.net/ubuntu/17.10/ artful main"
 @end example
 
 or by editing files in @file{/etc/apt/}.