From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Mon, 28 May 2018 21:52:45 +0000 (-0700)
Subject: user.texinfo: A typo.  And punt mention of gdbm microcode module.
X-Git-Tag: mit-scheme-pucked-gdbm-0.3.4~3
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=82df006e23136ee509b4a1906cdcddaa6e1c582a;p=mit-scheme.git

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 c1d5b389e..9466048d5 100644
--- 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/}.